Pinned Loading

1. ChanChan ChanChan Public

   Zero-knowledge proof system based on Melody Chan's theorem using linear algebra and matrix operations. Post-quantum friendly, no trusted setup required

   Python

2. zk-sql zk-sql Public

   Zero-knowledge proof SQL engine for verifiable query execution.

   Rust

3. S-Zk S-Zk Public

   Python 1

4. shielded-csv-arbitrum-evm shielded-csv-arbitrum-evm Public

   shielded-csv-arbitrum-evm

   2

5. nalloc nalloc Public

   High-performance, deterministic memory allocator optimized for Zero-Knowledge Proof (ZKP) systems and cryptographic provers

   Rust

6. ark-nalloc ark-nalloc Public

   Rust