arnaucube
/
fold-babyjubjubs
mirror of https://github.com/arnaucube/fold-babyjubjubs.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
3 Commits
1 Branch
0 Tags
25 KiB
 
Tree: 4dfb278142
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '4dfb278142'
${ noResults }
arnaucube 4dfb278142 add folding logic using Sonobe 10 months ago
src add folding logic using Sonobe 10 months ago
.gitignore initialize repo 10 months ago
Cargo.toml add FCircuit of the EdDSA verifications 10 months ago
LICENSE add FCircuit of the EdDSA verifications 10 months ago
README.md add folding logic using Sonobe 10 months ago

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