Pinned Repositories
aurora
circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
gkr_tutorial
halo2-playground
halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
poly-commit
A Rust library for polynomial commitments
take-vs-clone-bench
zkGit
Research project exploring zero-knowledge git protocol
Hungry Cats Studio's Repositories
HungryCatsStudio/gkr_tutorial
HungryCatsStudio/take-vs-clone-bench
HungryCatsStudio/aurora
HungryCatsStudio/poly-commit
A Rust library for polynomial commitments
HungryCatsStudio/circom-compat
Arkworks bindings to Circom's R1CS, for Groth16 Proof and Witness generation in Rust.
HungryCatsStudio/halo2-playground
HungryCatsStudio/Lasso
The lookup singularity. Based on Spartan; built on Arkworks.
HungryCatsStudio/zkGit
Research project exploring zero-knowledge git protocol
HungryCatsStudio/crypto-primitives
Interfaces and implementations of cryptographic primitives, along with R1CS constraints for them
HungryCatsStudio/halo2-scaffold
Basic scaffolding for setting up and writing a Halo2 ZK circuit
HungryCatsStudio/algebra
Libraries for finite field, elliptic curve, and polynomial arithmetic
HungryCatsStudio/curves
Implementations of popular elliptic curves
HungryCatsStudio/halo2-lib
Monorepo of halo2 crates
HungryCatsStudio/jellyfish
A Rust Implementation of the PLONK ZKP System and Extensions
HungryCatsStudio/poseidon-circuit
Poseidon hash circuit
HungryCatsStudio/secret-poly-commit
Not so secret anymore
HungryCatsStudio/snark-verifier
HungryCatsStudio/Spartan2
High-speed zkSNARKs
HungryCatsStudio/tract
Tiny, no-nonsense, self-contained, Tensorflow and ONNX inference