Streamlines transactions, block management, and batching. Integrates DA processes, ensures seamless settlement layer interactions, and offers robust verification. Designed for high throughput and reliability.

Rust ZK Node with Noir and Circom Verifier

Snark Library to find absolutely everything from Zero-Knowledge SNARK

crypto research stuffs from numerics to ZK applied protocols all written with dirty hands

Custom fork of public libsnark (used in ZKP-Benchmarker)

PLONK + FRI based ZK proving system.

Our project introduces a system designed to efficiently prove and verify the authenticity of transformed images.

A range proof SNARK using Spartan.

Refactored zk-SNARK application code from the 2019 stark101 tutorial

Halo2 gadgets for verifying plonky2/starky proofs (WIP)

Lewis Carroll's The Hunting of the Snark in pantomime format

A Library for Formally Verified Cryptographic Proof Systems

Source files for ZKDL Lectures

Some YOLO crypto

A simple SNARK implementation in Python

Rust library for generating inputs for Noir circuits that utilize Secp256k1 ECDSA signatures.

Amonymos voting on ethereum base on snark.

Circom Circuits Library for Machine Learning for the Vesta Curve

Pairing-Based Zero-Knowledge SNARK creation toolchain