fold-babyjubjubs

Repo folding BabyJubJub EdDSA signatures using arkeddsa, showcasing usage of Sonobe with Arkworks.

The main idea is to prove $z_n = F(F(…~F(F(F(z_0)))))$, where $n$ is the number of BabyJubJub EdDSA signature verifications ($F$) that we compute. Proving this in a ‘normal’ R1CS circuit for a large $n$ would be too costly, but with folding we can manage to prove it in a reasonable time span.

For more info about Sonobe, check out Sonobe’s docs.

Usage

• cargo test --release -- --nocapture