arnaucube/fold-babyjubjubs
1
0
Fork 0
mirror of https://github.com/arnaucube/fold-babyjubjubs.git synced 2026-03-06 13:36:38 +01:00
Code Issues Projects Releases Packages Wiki Activity
No description
4 commits 1 branch 0 tags 32 KiB
  • Rust 100%
Find a file
Exact
arnaucube fb70f92ed7 upgrade to latest Sonobe version
2024-12-27 19:18:58 +01:00
src upgrade to latest Sonobe version 2024-12-27 19:18:58 +01:00
.gitignore initialize repo 2024-12-25 10:05:59 +01:00
Cargo.toml upgrade to latest Sonobe version 2024-12-27 19:18:58 +01:00
LICENSE add FCircuit of the EdDSA verifications 2024-12-25 10:06:56 +01:00
README.md add folding logic using Sonobe 2024-12-25 10:07:52 +01:00

README.md

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