About
Lurk is a Turing-complete programming language for recursive zk-SNARKs (zero knowledge Succinct Non-interactive ARguments of Knowledge) that will enable new possibilities for Argument accelerates verifiable computing. By combining zero-knowledge cryptography, formal verification and distributed consensus technologies, we build systems for unbrea...
Technologies
Funding Stage
Seed
Membership Sources:
Focus Area
Digital Human Rights
Cryptographic Proofs
