zk-SNARK library

Nova: Recursive SNARKs without trusted setup

Spartan on Arkworks

RISC Zero Nova is inherit from Risc Zero but aim to replace STARK with Nova folding scheme

Pure Rust implementation of the PLONK ZKProof System done by the Dusk-Network team.

partnership with DelphinusLab targeting on trustless offchain monitor.

Groth16 fraud proof generation PoC using leaked toxic waste. Forked and modified from Arkworks' Rust implementation of the Groth16 zkSNARK.

Experimental folding schemes library

An attempt to run oxigraph on the Internet Computer

A set of tooling related to halo2 circuits verification inside Solidity contracts

Include halo2 example circuits from haichen

Fork of Nova for experimenting with SuperNova implementation.

A STARK prover and verifier for arbitrary computations

Nova: Recursive SNARKs without trusted setup

Fast and fully open source from a16z crypto modified by NovaNet for zkML precompiles. ⚡

Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.

A Rust Implementation of the PLONK ZKP System and Extensions

For learning Nova code

A toolkit for polynomial IOPs (PIOPs)

Working with folding and other optimizations for ZKWasm.

In-memory node that can be used for integration testing and debugging.

A Folding Scheme to compress Sumcheck instances

Fork of Nova for experimenting with SuperNova implementation.