zkproofs

Your Zero knowledge evidence protocol for encrypted decentralized storage and onchain verifiable ownership.

Easy-to-use Sigma proofs in C using libsodium.

A complete ZK-SNARK development environment using gnark, LevelDB, and Katana for blazing-fast local iteration.

a zero knowledge proven partially homomorphic voting system

Sigma proofs implementation for Rust.

Prove a trading backtest is real without revealing the strategy. Zero-knowledge (STARK) verification of backtest honesty: enforce the Deflated Sharpe Ratio, committed trial ledger, in-circuit. Reproduce a live credential to the digit.

A next-generation decentralized exchange built on the SUI blockchain, leveraging the Move programming language for secure, high-performance trading with native composability. This pioneering DEX harnesses SUI's object-centric model and parallel execution to deliver unmatched transaction throughput, capital efficiency on SUI Ecosystem