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

Commit Graph

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