8000 Commits · yugocabrio/sonobe · GitHub

More Web Proxy on the site http://driver.im/

Commits

Commits on Jul 12, 2024

feat: add noname as a frontend to sonobe (#121)

authored

Commits on Jul 11, 2024

fix sumcheck verifier for when poly=0 (#126)

arnaucube
and
NiDimi
authored

Commits on Jul 8, 2024

Unify the computation of digests and challenges in different folding schemes (#94)
winderica
authored

Commits on Jul 5, 2024

add hash of public params for Nova & HyperNova (#118)
arnaucube
authored

Commits on Jul 4, 2024

Implement HyperNova's IVC into the FoldingScheme trait (#116)
arnaucube
authored

Commits on Jul 2, 2024

Generate poseidon constants (#114)
kilic
authored

Commits on Jun 25, 2024

Add CycleFold (https://eprint.iacr.org/2023/1192.pdf) to HyperNova impl (#113)
arnaucube
authored

Commits on Jun 19, 2024

Implement HyperNova's AugmentedFCircuit (#112)
arnaucube
authored

Commits on Jun 10, 2024

Add serde capabilites to `Nova` (#107)
dmpierre
authored

Commits on Jun 6, 2024

Commits on Jun 5, 2024

Fix typos (#109)
omahs
authored

Commits on Jun 4, 2024

Add HyperNova's NIMFS circuit (#99)
arnaucube
committed

Commits on Jun 3, 2024

BN254 and Grumpkin Poseidon configurations (#106)

ax0
and
dmpierre
authored

Commits on May 28, 2024

Stabilize circom frontend (#101)

dmpierre
and
arnaucube
authored

Commits on May 22, 2024

Update README.md (#100)
drewstone
authored

Commits on May 20, 2024

Circuit compute_c reduce constraints (#97)
arnaucube
committed

Commits on May 6, 2024

Circom external inputs (#91)
arnaucube
committed

Commits on Apr 26, 2024

Full flow example (#90)
arnaucube
authored

Commits on Apr 25, 2024

Add solidity verifier of the nova+cyclefold (#87)

arnaucube
and
dmpierre
authored

Commits on Apr 17, 2024

Commits on Apr 16, 2024

Reduce the number of constraints in `DeciderEthCircuit` (#88)
winderica
authored

Commits on Apr 14, 2024

Adapt Frontend/Circom for FCircuit Trait (#71)

yugocabrio
and
arnaucube
authored

Commits on Apr 12, 2024

Reduce the number of constraints in `AugmentedFCircuit` for Nova (#86)
winderica
authored

Commits on Apr 11, 2024

Add the digest of the Relaxed R1CS instance for CycleFold as a public input to `AugmentedFCircuit` (#84)
winderica
authored

Commits on Apr 4, 2024

Link committed instances and r to the public input x in cyclefold circuit (#81)
arnaucube
authored

Commits on Mar 26, 2024

Compute Decider's CM challenges in Groth16 circuit, link G16 & KZG proofs in Onchain Decider, refactor CommitmentScheme trait (#79)
arnaucube
authored

Commits on Mar 18, 2024

Add CLI interface for verifier contract generation (#74)
CPerezz
authored

Commits on Mar 11, 2024

Add external inputs logic to F function/circuit. Add an example of usage with external inputs too. (#78)
arnaucube
authored

Commits on Mar 1, 2024

Commits on Feb 26, 2024

Add typos tool to CI to automate typo detection (#76)
arnaucube
authored

Commits on Feb 22, 2024

Fix Nova multi-elements state (#73)
arnaucube
authored

Commits on Feb 9, 2024

Add solidity groth16, kzg10 and final decider verifiers in a dedicated workspace (#70)

authored

0