issues
search
privacy-scaling-explorations
/
sonobe
Experimental folding schemes library
https://privacy-scaling-explorations.github.io/sonobe-docs/
MIT License
205
stars
54
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Change CycleFold circuit approach
#77
arnaucube
closed
9 months ago
1
Add typos tool to CI to automate typo detection
#76
arnaucube
closed
9 months ago
1
Fix typos
#75
rex4539
closed
9 months ago
0
Add CLI interface for verifier contract generation
#74
CPerezz
closed
8 months ago
2
Fix Nova multi-elements state
#73
arnaucube
closed
9 months ago
1
Add IPA commitment scheme and the respective circuit verifier gadget
#72
arnaucube
closed
9 months ago
1
Adapt Frontend/Circom for FCircuit Trait
#71
yugocabrio
closed
7 months ago
12
Add solidity groth16, kzg10 and final decider verifiers in a dedicated workspace
#70
dmpierre
closed
9 months ago
0
Adding groth16, kzg10 and final decider verifiers in a dedicated workspace
#69
dmpierre
closed
9 months ago
0
Feature/cli verifier tooling
#68
CPerezz
closed
9 months ago
1
Add KZG proofs to the Nova onchain decider
#67
arnaucube
closed
6 months ago
1
Add Decider impl for Nova onchain
#66
arnaucube
closed
9 months ago
2
Update NonNativeAffineVar approach
#65
arnaucube
closed
2 months ago
1
Fit Nova+CycleFold into `FoldingScheme` trait & Add `examples/` for folding SHA256 circuit
#64
arnaucube
closed
9 months ago
0
Adapt Nova usage of commitment to the generic trait
#63
arnaucube
closed
10 months ago
0
Add CommitmentProver trait, and add KZG prover to it
#62
arnaucube
closed
10 months ago
0
A circuit for computing c, from section 5, step 5 of "A multi-folding scheme for CCS"
#61
dmpierre
closed
10 months ago
1
Once arkworks-rs/r1cs-std#129 ready, update nova+cyclefold circuit impl to use it
#60
arnaucube
opened
10 months ago
0
Groth16 verifier Solidity generator method
#59
arnaucube
closed
9 months ago
1
KZG and Groth16 solidity verifiers generator method
#58
arnaucube
closed
9 months ago
1
Decider onchain verifier Solidity generator CLI
#57
arnaucube
closed
6 months ago
2
A gadget to compute the second term of the sum in section 5, step 5
#56
dmpierre
closed
10 months ago
0
Update the `frontend/circom` into fit the `FCircuit` trait
#55
arnaucube
closed
6 months ago
4
refactor frontend composition, update usage of arkworks CS helpers, refactor test circuits
#54
arnaucube
closed
10 months ago
0
A gadget to compute the first term of the sum in section 5, step 5
#53
dmpierre
closed
10 months ago
0
make calculation of F(X) in protogalaxy prover happen in O(n)
#52
Silur
closed
9 months ago
1
feat: `EqEvalGadget` for computing `eq(x, y)`
#51
dmpierre
closed
10 months ago
0
HyperNova NIMFS verifier circuit
#50
arnaucube
closed
5 months ago
1
Nova+CycleFold Decider circuit (for onchain use case)
#49
arnaucube
closed
10 months ago
0
Link committed instances and r in cyclefold circuit
#48
arnaucube
closed
7 months ago
0
Feature/sumcheck circuit
#47
dmpierre
closed
10 months ago
0
update RelaxedR1CSGadget to work with FieldVar trait so we can plug in FpVar and NonNativeFieldVar indistinctly
#46
arnaucube
closed
11 months ago
0
Implement CycleFold in Nova's IVC
#45
arnaucube
closed
11 months ago
0
Get coordinates represenation of CurveVar
#44
arnaucube
closed
6 months ago
0
Implement G(X), K(X) optimized computation following Claim 4.5
#43
arnaucube
opened
11 months ago
0
feat: add TranscriptVar trait
#42
dmpierre
closed
11 months ago
0
Add TranscriptVar trait (circuit gadget)
#41
arnaucube
closed
11 months ago
0
Feature/sumcheck
#40
dmpierre
closed
11 months ago
6
add README.md
#39
arnaucube
closed
7 months ago
0
Adapt SumCheck Transcript
#38
arnaucube
closed
11 months ago
1
Port/protogalaxy
#37
arnaucube
closed
11 months ago
2
Feature/nova ivc
#36
arnaucube
closed
1 year ago
1
Feature/f circuit multiple in outs
#35
arnaucube
closed
1 year ago
0
Add Pedersen::{commit,open,verify} MSM error handling
#34
arnaucube
closed
1 year ago
0
implement Nova's AugmentedFCircuit
#33
arnaucube
closed
1 year ago
0
Implement Frontend Interface
#32
yugocabrio
closed
7 months ago
6
impl hash committed instance gadget (#17)
#31
arnaucube
closed
1 year ago
0
add error handling to several pending methods
#30
arnaucube
closed
1 year ago
0
Implement NIFS.P & NIFS.V transcript
#29
ashWhiteHat
closed
1 year ago
1
Refactor Matrix vectors and Logical operation
#28
ashWhiteHat
closed
1 year ago
0
Previous
Next