Skip to main content

zkLLVM is a compiler from high-level programming languages into an input for provable computations protocols verifiable on EVM (and not only).

Documentation, references, and manuals for zkApplications/circuit developers.

Proof Market is a decentralized protocol for zkProof generation and monetization built on top of =nil; zkSharding.

Documentation, references, and manuals for proof generators and EVM application developers.

=nil; zkSharding is the first Ethereum zkRollup with sharding — an alternative to the current Ethereum scalability ecosystem.

The unique combination of zkRollup and sharding enables secure and parallel transaction execution across dedicated shards while maintaining Ethereum's economic security and providing application developers with full composability and transparent data access.

Crypto3 is a modern cryptography suite in C++17 built by cryptographers for cryptographers dedicated to making it easy to prototype and implement novel schemes and primitives out of ready-to-use modules such as ciphers (block, algebraic, fully-homomorphic), hashes, signatures, proof systems, VDFs, witness encryption and many other.

Documentation, references, and manuals for applied cryptographers and C++ developers.