Pinned Loading

1. plonkish plonkish Public

   Forked from han0110/plonkish

   Implementation of Protostar folding scheme (IVC) with Cyclefold using Halo2 frontend

   Rust 1 1

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 44 5

3. cairo_tee cairo_tee Public

   POC for TEE attestation verification in Cairo dsl

   Cairo 4 1

4. poseidon2 poseidon2 Public

   Rust and Halo2 implementations of Poseidon2 hash function

   Rust 3 3

5. evm-asm evm-asm Public

   Forked from Verified-zkEVM/evm-asm

   Lean