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 unbreakab...
Technologies
Funding Stage
Seed
Membership Sources:
Focus Area
Digital Human Rights![right-arrow](/icons/right-arrow-gray.svg)
Cryptographic Proofs