Repo showcasing usage of Sonobe with Arkworks and Circom circuits to prove a hash-chain.

experiments

Plonky2 Semaphore example

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

Using Sonobe for a provable bitcoin light client

Grapevine using sonobe cyclefold

R1CS constraints for bits, fields, and elliptic curves