arnaucube
/
sonobe
mirror of https://github.com/arnaucube/sonobe.git
1
1
Fork 0
Code Issues Projects Releases Wiki Activity

Commit Graph

  • e118387 (HEAD -> main) Add NIFSGadgetTrait, implement Mova's NIFSGadget, adapt Nova NIFSGadget into NIFSGadgetTrait (#173) by arnaucube 2024-11-12 16:34:02 +0100
  • b812dd6 Onchain decider circuit for Protogalaxy (#145) by winderica 2024-11-04 17:34:50 +0800
  • 6d8f297 Implemented Mova folding scheme (#161) by Nick Dimitriou 2024-10-23 09:42:34 +0100
  • 234600b Move the experimental frontends into a separate crate, so that when not using them they don't take several minutes to compile (and indirect dependencies). (#168) by arnaucube 2024-10-19 18:49:40 +0200
  • cb1b8e3 Add IVCProof to the existing folding schemes (Nova,HyperNova,ProtoGalaxy) (#167) by arnaucube 2024-10-11 16:32:35 +0200
  • ed14889 Resolve the stack overflow issue when evaluating polynomials in-circuit (#166) by winderica 2024-10-03 22:32:16 +0800
  • a07e17e Nova vairants (Ova) NIFS abstraction (#165) by arnaucube 2024-10-03 15:26:26 +0200
  • edcef6c implement Nova's Offchain Decider (prover & verifier) for non-ethereum cases (#164) by arnaucube 2024-10-03 11:38:57 +0200
  • 88bbd9c Implement OVA NIFS (#163) by Carlos Pérez 2024-10-03 10:36:09 +0200
  • f1d8241 Refactor `Arith` trait (#162) by winderica 2024-09-25 18:21:30 +0800
  • 1e9c13f Implement Nova's Offchain-Decider circuits (#160) by arnaucube 2024-09-24 18:04:35 +0200
  • dfd03ea Traits for witnesses and committed instances (#157) by winderica 2024-09-20 01:36:19 +0800
  • 1947ab0 feat/hypernova serialization (#159) by Pierre 2024-09-19 10:04:10 +0200
  • 1322767 Protogalaxy based IVC (#123) by winderica 2024-09-12 15:08:53 +0100
  • 0ad5457 implement HyperNova's DeciderEth (#156) by arnaucube 2024-09-10 17:10:00 +0200
  • 1f7bf04 Nova parameters & decider parameters and proofs serialization (#151) by arnaucube 2024-09-10 14:38:31 +0200
  • 52de2d1 feat: Minimal in-browser compatibility for the crate (#149) by Carlos Pérez 2024-08-27 16:34:58 +0200
  • 7097c00 Optimize CycleFold circuit MSM approach (#143) by arnaucube 2024-08-20 04:05:24 +0200
  • c09c52f feat: implement nova's zk layer (#127) by Pierre 2024-08-18 00:19:34 +0200
  • 5ec9c2c Enable WASM-compat and monitor it in the CI (#142) by Carlos Pérez 2024-08-17 09:06:52 +0200
  • f6a70fe implement HyperNova's DeciderEth circuit (#132) by arnaucube 2024-08-06 16:54:04 +0200
  • ecaecd4 Generalized CycleFold (#120) by winderica 2024-08-05 11:11:49 +0100
  • 18a3e0a feat: fold noir circuits, add an e2e example, tests, a `compile.sh` script and update CI (#131) by Pierre 2024-08-03 07:49:51 +0200
  • 21ff3cf Enable hiding commitments in nova and hypernova (#129) by Pierre 2024-07-29 12:15:15 +0200
  • 6248a90 Protogalaxy verifier circuit (#95) by winderica 2024-07-18 18:58:42 +0100
  • edadcdd HyperNova: add multi-instances folding to AugmentedFCircuit & IVC (#119) by arnaucube 2024-07-16 02:59:56 +0200
  • cc1f631 feat: add noname as a frontend to sonobe (#121) by Pierre 2024-07-12 22:04:20 +0200
  • bb44a3a fix sumcheck verifier for when poly=0 (#126) by arnaucube 2024-07-11 12:27:01 +0200
  • 16d51d7 Unify the computation of digests and challenges in different folding schemes (#94) by winderica 2024-07-08 09:25:08 +0100
  • c17fcf5 add hash of public params for Nova & HyperNova (#118) by arnaucube 2024-07-05 11:47:18 +0200
  • b566796 Implement HyperNova's IVC into the FoldingScheme trait (#116) by arnaucube 2024-07-04 11:14:31 +0200
  • 456dc9f Generate poseidon constants (#114) by kilic 2024-07-02 12:57:38 +0300
  • 4ce9a13 Add CycleFold (https://eprint.iacr.org/2023/1192.pdf) to HyperNova impl (#113) by arnaucube 2024-06-25 11:19:55 +0200
  • fd942bd Implement HyperNova's AugmentedFCircuit (#112) by arnaucube 2024-06-19 16:31:15 +0200
  • bdfaa66 Add serde capabilites to `Nova` (#107) by Pierre 2024-06-10 11:24:01 +0200
  • 5ea55cf Optimize native nimfs (#110) by arnaucube 2024-06-06 16:16:05 +0200
  • dd8dacb feat (circom): allow to define the step_native in Rust (#105) by Vu Vo 2024-06-06 19:41:50 +0700
  • bda8ad6 Fix typos (#109) by omahs 2024-06-05 11:53:58 +0200
  • 59b8bdb Add HyperNova's NIMFS circuit (#99) by arnaucube 2024-06-04 10:57:39 +0200
  • 852134a BN254 and Grumpkin Poseidon configurations (#106) by Ahmad Afuni 2024-06-03 22:36:17 +1000
  • da4ab5c Stabilize circom frontend (#101) by Pierre 2024-05-28 16:30:25 +0200
  • ed1faee Update README.md (#100) by drewstone 2024-05-22 02:26:57 -0600
  • 48947e8 Circuit compute_c reduce constraints (#97) by arnaucube 2024-05-20 20:10:49 +0200
  • d5c1e5f Circom external inputs (#91) by arnaucube 2024-05-06 16:06:08 +0200
  • 9bbdfc5 Full flow example (#90) by arnaucube 2024-04-26 08:37:49 +0200
  • 97df224 Add solidity verifier of the nova+cyclefold (#87) by arnaucube 2024-04-25 11:51:59 +0200
  • 8b23303 add README.md (#39) by arnaucube 2024-04-17 11:05:41 +0200
  • d23e6d1 Fix the incorrect `NonNativeAffineVar::inputize` implementation (#89) by winderica 2024-04-17 09:32:34 +0100
  • b648ddb Reduce the number of constraints in `DeciderEthCircuit` (#88) by winderica 2024-04-16 15:50:19 +0100
  • 03f6691 Adapt Frontend/Circom for FCircuit Trait (#71) by yugocabrio 2024-04-15 01:58:50 +0900
  • 4dcb981 Reduce the number of constraints in `AugmentedFCircuit` for Nova (#86) by winderica 2024-04-12 14:01:27 +0100
  • 6a7dd93 Add the digest of the Relaxed R1CS instance for CycleFold as a public input to `AugmentedFCircuit` (#84) by winderica 2024-04-11 10:07:32 +0100
  • b8db622 Link committed instances and r to the public input x in cyclefold circuit (#81) by arnaucube 2024-04-04 09:58:26 +0200
  • fe9a488 Compute Decider's CM challenges in Groth16 circuit, link G16 & KZG proofs in Onchain Decider, refactor CommitmentScheme trait (#79) by arnaucube 2024-03-26 10:54:13 +0100
  • 1072b66 Add CLI interface for verifier contract generation (#74) by Carlos Pérez 2024-03-18 11:09:22 +0100
  • a4905c8 Add external inputs logic to F function/circuit. Add an example of usage with external inputs too. (#78) by arnaucube 2024-03-11 12:32:50 +0100
  • 602a367 Change CycleFold circuit approach (#77) by arnaucube 2024-03-01 15:05:51 +0100
  • b25037e Add IPA commitment scheme and the respective circuit verifier gadget (#72) by arnaucube 2024-03-01 09:52:07 +0100
  • 9159c5c Add typos tool to CI to automate typo detection (#76) by arnaucube 2024-02-26 10:21:49 +0100
  • 89d6067 Fix Nova multi-elements state (#73) by arnaucube 2024-02-22 13:54:54 +0100
  • 63dbbfe Add solidity groth16, kzg10 and final decider verifiers in a dedicated workspace (#70) by Pierre 2024-02-09 08:19:25 +0100
  • 97e973a Add Decider impl for Nova onchain (#66) by arnaucube 2024-02-08 07:42:41 +0100
  • 383a70d make calculation of F(X) in protogalaxy prover happen in O(n) (#52) by Silur 2024-02-05 09:09:12 +0000
  • 186766c Fit Nova+CycleFold into `FoldingScheme` trait & Add `examples/` for folding SHA256 circuit (#64) by arnaucube 2024-02-02 17:24:18 +0100
  • f85a056 Adapt Nova usage of commitment to the generic trait (#63) by arnaucube 2024-01-30 11:16:53 +0100
  • 47e47cc Add CommitmentProver trait, and add KZG prover to it (#62) by arnaucube 2024-01-25 14:45:01 +0100
  • 7e3d2df refactor frontend composition, update usage of arkworks CS helpers, refactor test circuits (#54) by arnaucube 2024-01-16 09:23:47 +0100
  • 46e5387 A circuit for computing c, from section 5, step 5 of "A multi-folding scheme for CCS" (#61) by Pierre 2024-01-15 17:18:51 +0100
  • 4981980 Nova+CycleFold Decider circuit (for onchain use case) (#49) by arnaucube 2024-01-10 11:36:22 +0100
  • 05f4991 Feature/sumcheck circuit (#47) by Pierre 2024-01-04 12:15:28 +0100
  • 4b929e8 update RelaxedR1CSGadget to work with FieldVar trait so we can plug in FpVar and NonNativeFieldVar indistinctly (#46) by arnaucube 2024-01-02 11:28:21 +0100
  • b9af318 Port ProtoGalaxy from https://github.com/arnaucube/protogalaxy-poc adapting it to the current folding-schemes lib (#37) by arnaucube 2023-12-18 10:24:13 +0100
  • b4f42e7 Implement CycleFold in Nova's IVC (#45) by arnaucube 2023-12-18 09:42:46 +0100
  • 876e23c Feature/sumcheck (#40) by Pierre 2023-12-15 14:21:07 +0100
  • 14a0b46 feat: add TranscriptVar trait (#42) by Pierre 2023-12-05 20:28:06 +0300
  • 905ba44 Feature/nova ivc (#36) by arnaucube 2023-11-24 11:15:14 +0100
  • 6d919d7 Feature/f circuit multiple in outs (#35) by arnaucube 2023-11-06 16:31:54 +0100
  • 8edea23 Add Pedersen::{commit,open,verify} MSM error handling (#34) by arnaucube 2023-10-31 08:02:44 +0100
  • 597ac27 implement Nova's AugmentedFCircuit (#33) by arnaucube 2023-10-30 09:02:19 +0100
  • 7656c6b Circom wrapper's helper function (#26) by Y5 2023-10-18 00:32:58 +0900
  • 422db75 impl hash committed instance gadget (#17) (#31) by arnaucube 2023-10-12 11:04:45 +0200
  • 9a2a1fd Refactor Matrix vectors and Logical operation (#28) by ashWhiteHat 2023-10-10 20:48:33 +0900
  • 13e471a add error handling to several pending methods (#30) by arnaucube 2023-10-04 15:43:24 +0200
  • 8256c27 Port/hypernova multifolding (#10) by arnaucube 2023-09-11 09:31:23 +0200
  • ac913ab Add decider circuit RelaxedR1CS (#21) by arnaucube 2023-09-07 19:21:30 +0200
  • d9887af Implement Nova's NIFS.Verify circuits (with CycleFold) (#11) by arnaucube 2023-09-05 17:17:59 +0200
  • 9ae046c Implement CycleFold's EC RLC check circuit (#9) by arnaucube 2023-08-29 08:49:48 +0200
  • b4a0b50 Port Espresso's VirtualPoly, MLE and SumCheck (#8) by arnaucube 2023-08-29 08:49:43 +0200
  • 15e2886 Implement Nova's NIFS.P & NIFS.V (#7) by arnaucube 2023-08-23 15:07:33 +0200
  • 240b916 Add initial CCS mod: (#6) by arnaucube 2023-08-23 10:22:25 +0200
  • bc81fbe Add utils::vec & pedersen modules (#5) by arnaucube 2023-08-22 14:48:10 +0200
  • 77a0c8e feat: port CI from `halo2curves` (#4) by Han 2023-08-17 19:10:25 +0800
  • 16e261b Feature/traits (#3) by arnaucube 2023-08-17 10:32:26 +0200
  • eea9bf2 Initial commit by Han 2023-08-15 18:05:20 +0800