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

Commit Graph

  • b566796 (HEAD -> main) 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