Argument accelerates verifiable computing. By combining zero-knowledge cryptography, formal verification and distributed consensus technologies, we build systems for unbreakable, scalable, private, decentralized software.
Argument, formerly Lurk Lab, is developing a Turing-complete programming language for Zero Knowledge Proofs. And, Lurk is a statically scoped dialect of Lisp, influenced by Scheme and Common Lisp. Lurk program execution can be proved in zero-knowledge. Lurk proofs support multiple backend SNARK proving systems.
Fundraising Summary
Total Rounds
1+
People Also Viewed
Riot Platforms
To be the world’s leading Bitcoin-driven infrastructure platform.
1confirmation
Open blockchains are empowering the masses.
The Block
Global, inclusive community of crypto and blockchain enthusiasts.
Enterprise Ethereum Alliance
Provide open standards for developing large-scale, interoperable blockchain implementations.
