Minimal, powerful zero-knowledge reduction machine with a compact instruction set across multiple cryptographic backends and language frontends.
Lurk is a zero-knowledge reduction machine developed by Argument Computer Corporation. It provides a small instruction set surface compatible with a range of cryptographic backends and language frontends, enabling efficient and performant ZK computation. Lurk is designed as foundational infrastructure for verifiable, private, and scalable decentralized software. Lurk is a product of Argument Computer Corporation.
For people
For agents