Pinned Loading

1. NethermindEth/latticefold NethermindEth/latticefold Public

   A lattice-based non-interactive folding scheme written in Rust

   Rust 129 23

2. NethermindEth/zinc-plus NethermindEth/zinc-plus Public

   Zinc+ is a performance-oriented SNARK framework designed to handle computations across multiple mathematical domains without the "witness inflation" overhead typical of traditional arithmetization.

   Rust 46 13

3. Verified-zkEVM/ArkLib Verified-zkEVM/ArkLib Public

   Formally Verified Arguments of Knowledge in Lean

   Lean 306 81

4. NethermindEth/horus-checker NethermindEth/horus-checker Public

   Horus, a formal verification tool for StarkNet smart contracts.

   Haskell 75 9

5. privacy-ethereum/sonobe privacy-ethereum/sonobe Public

   Experimental folding schemes library

   Rust 280 96

6. NethermindEth/cairo-vm-go NethermindEth/cairo-vm-go Public

   A virtual machine for Cairo written in Go

   Go 88 54