Commit Graph

  • e1183877e7 Add NIFSGadgetTrait, implement Mova's NIFSGadget, adapt Nova NIFSGadget into NIFSGadgetTrait (#173) main arnaucube 2024-11-12 16:34:02 +01:00
  • b812dd66df Onchain decider circuit for Protogalaxy (#145) winderica 2024-11-04 17:34:50 +08:00
  • 6d8f297f11 Implemented Mova folding scheme (#161) Nick Dimitriou 2024-10-23 09:42:34 +01:00
  • 234600b39f 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) arnaucube 2024-10-19 18:49:40 +02:00
  • cb1b8e37aa Add IVCProof to the existing folding schemes (Nova,HyperNova,ProtoGalaxy) (#167) arnaucube 2024-10-11 16:32:35 +02:00
  • ed1488978c Resolve the stack overflow issue when evaluating polynomials in-circuit (#166) winderica 2024-10-03 22:32:16 +08:00
  • a07e17e9db Nova vairants (Ova) NIFS abstraction (#165) arnaucube 2024-10-03 15:26:26 +02:00
  • edcef6c352 implement Nova's Offchain Decider (prover & verifier) for non-ethereum cases (#164) arnaucube 2024-10-03 11:38:57 +02:00
  • 88bbd9cff7 Implement OVA NIFS (#163) Carlos Pérez 2024-10-03 10:36:09 +02:00
  • f1d82418ba Refactor Arith trait (#162) winderica 2024-09-25 18:21:30 +08:00
  • 1e9c13f852 Implement Nova's Offchain-Decider circuits (#160) arnaucube 2024-09-24 18:04:35 +02:00
  • dfd03ea386 Traits for witnesses and committed instances (#157) winderica 2024-09-20 01:36:19 +08:00
  • 1947ab0f51 feat/hypernova serialization (#159) Pierre 2024-09-19 10:04:10 +02:00
  • 1322767a1e Protogalaxy based IVC (#123) winderica 2024-09-12 15:08:53 +01:00
  • 0ad54576ec implement HyperNova's DeciderEth (#156) arnaucube 2024-09-10 17:10:00 +02:00
  • 1f7bf0462b Nova parameters & decider parameters and proofs serialization (#151) arnaucube 2024-09-10 14:38:31 +02:00
  • 52de2d185c feat: Minimal in-browser compatibility for the crate (#149) Carlos Pérez 2024-08-27 16:34:58 +02:00
  • 7097c001fc Optimize CycleFold circuit MSM approach (#143) arnaucube 2024-08-20 04:05:24 +02:00
  • c09c52f12c feat: implement nova's zk layer (#127) Pierre 2024-08-18 00:19:34 +02:00
  • 5ec9c2c576 Enable WASM-compat and monitor it in the CI (#142) Carlos Pérez 2024-08-17 09:06:52 +02:00
  • f6a70fe1d0 implement HyperNova's DeciderEth circuit (#132) arnaucube 2024-08-06 16:54:04 +02:00
  • ecaecd483c Generalized CycleFold (#120) winderica 2024-08-05 11:11:49 +01:00
  • 18a3e0aa93 feat: fold noir circuits, add an e2e example, tests, a compile.sh script and update CI (#131) Pierre 2024-08-03 07:49:51 +02:00
  • 21ff3cf1ab Enable hiding commitments in nova and hypernova (#129) Pierre 2024-07-29 12:15:15 +02:00
  • 6248a90e89 Protogalaxy verifier circuit (#95) winderica 2024-07-18 18:58:42 +01:00
  • edadcdd520 HyperNova: add multi-instances folding to AugmentedFCircuit & IVC (#119) arnaucube 2024-07-16 02:59:56 +02:00
  • cc1f6316a7 feat: add noname as a frontend to sonobe (#121) Pierre 2024-07-12 22:04:20 +02:00
  • bb44a3ad95 fix sumcheck verifier for when poly=0 (#126) arnaucube 2024-07-11 12:27:01 +02:00
  • 16d51d757b Unify the computation of digests and challenges in different folding schemes (#94) winderica 2024-07-08 09:25:08 +01:00
  • c17fcf56c6 add hash of public params for Nova & HyperNova (#118) arnaucube 2024-07-05 11:47:18 +02:00
  • b5667968f4 Implement HyperNova's IVC into the FoldingScheme trait (#116) arnaucube 2024-07-04 11:14:31 +02:00
  • 456dc9f7a1 Generate poseidon constants (#114) kilic 2024-07-02 12:57:38 +03:00
  • 4ce9a130d0 Add CycleFold (https://eprint.iacr.org/2023/1192.pdf) to HyperNova impl (#113) arnaucube 2024-06-25 11:19:55 +02:00
  • fd942bda71 Implement HyperNova's AugmentedFCircuit (#112) arnaucube 2024-06-19 16:31:15 +02:00
  • bdfaa66ecb Add serde capabilites to Nova (#107) Pierre 2024-06-10 11:24:01 +02:00
  • 5ea55cf54e Optimize native nimfs (#110) arnaucube 2024-06-06 16:16:05 +02:00
  • dd8dacb53b feat (circom): allow to define the step_native in Rust (#105) Vu Vo 2024-06-06 19:41:50 +07:00
  • bda8ad6ce1 Fix typos (#109) omahs 2024-06-05 11:53:58 +02:00
  • 59b8bdb0c4 Add HyperNova's NIMFS circuit (#99) arnaucube 2024-06-04 10:57:39 +02:00
  • 852134a898 BN254 and Grumpkin Poseidon configurations (#106) Ahmad Afuni 2024-06-03 22:36:17 +10:00
  • da4ab5c937 Stabilize circom frontend (#101) Pierre 2024-05-28 16:30:25 +02:00
  • ed1faee6bf Update README.md (#100) drewstone 2024-05-22 02:26:57 -06:00
  • 48947e841c Circuit compute_c reduce constraints (#97) arnaucube 2024-05-20 20:10:49 +02:00
  • d5c1e5f72a Circom external inputs (#91) arnaucube 2024-05-06 16:06:08 +02:00
  • 9bbdfc5a85 Full flow example (#90) arnaucube 2024-04-26 08:37:49 +02:00
  • 97df224579 Add solidity verifier of the nova+cyclefold (#87) arnaucube 2024-04-25 11:51:59 +02:00
  • 8b233031a6 add README.md (#39) arnaucube 2024-04-17 11:05:41 +02:00
  • d23e6d1886 Fix the incorrect NonNativeAffineVar::inputize implementation (#89) winderica 2024-04-17 09:32:34 +01:00
  • b648ddb300 Reduce the number of constraints in DeciderEthCircuit (#88) winderica 2024-04-16 15:50:19 +01:00
  • 03f66919a3 Adapt Frontend/Circom for FCircuit Trait (#71) yugocabrio 2024-04-15 01:58:50 +09:00
  • 4dcb981dd4 Reduce the number of constraints in AugmentedFCircuit for Nova (#86) winderica 2024-04-12 14:01:27 +01:00
  • 6a7dd935bd Add the digest of the Relaxed R1CS instance for CycleFold as a public input to AugmentedFCircuit (#84) winderica 2024-04-11 10:07:32 +01:00
  • b8db622a08 Link committed instances and r to the public input x in cyclefold circuit (#81) arnaucube 2024-04-04 09:58:26 +02:00
  • fe9a488f63 Compute Decider's CM challenges in Groth16 circuit, link G16 & KZG proofs in Onchain Decider, refactor CommitmentScheme trait (#79) arnaucube 2024-03-26 10:54:13 +01:00
  • 1072b66e92 Add CLI interface for verifier contract generation (#74) Carlos Pérez 2024-03-18 11:09:22 +01:00
  • a4905c8a06 Add external inputs logic to F function/circuit. Add an example of usage with external inputs too. (#78) arnaucube 2024-03-11 12:32:50 +01:00
  • 602a367411 Change CycleFold circuit approach (#77) arnaucube 2024-03-01 15:05:51 +01:00
  • b25037e34c Add IPA commitment scheme and the respective circuit verifier gadget (#72) arnaucube 2024-03-01 09:52:07 +01:00
  • 9159c5c84c Add typos tool to CI to automate typo detection (#76) arnaucube 2024-02-26 10:21:49 +01:00
  • 89d6067431 Fix Nova multi-elements state (#73) arnaucube 2024-02-22 13:54:54 +01:00
  • 63dbbfe1bc Add solidity groth16, kzg10 and final decider verifiers in a dedicated workspace (#70) Pierre 2024-02-09 08:19:25 +01:00
  • 97e973a685 Add Decider impl for Nova onchain (#66) arnaucube 2024-02-08 07:42:41 +01:00
  • 383a70de2f make calculation of F(X) in protogalaxy prover happen in O(n) (#52) Silur 2024-02-05 09:09:12 +00:00
  • 186766c348 Fit Nova+CycleFold into FoldingScheme trait & Add examples/ for folding SHA256 circuit (#64) arnaucube 2024-02-02 17:24:18 +01:00
  • f85a056b61 Adapt Nova usage of commitment to the generic trait (#63) arnaucube 2024-01-30 11:16:53 +01:00
  • 47e47cc2af Add CommitmentProver trait, and add KZG prover to it (#62) arnaucube 2024-01-25 14:45:01 +01:00
  • 7e3d2dfa43 refactor frontend composition, update usage of arkworks CS helpers, refactor test circuits (#54) arnaucube 2024-01-16 09:23:47 +01:00
  • 46e538775b A circuit for computing c, from section 5, step 5 of "A multi-folding scheme for CCS" (#61) Pierre 2024-01-15 17:18:51 +01:00
  • 498198057b Nova+CycleFold Decider circuit (for onchain use case) (#49) arnaucube 2024-01-10 11:36:22 +01:00
  • 05f49918ac Feature/sumcheck circuit (#47) Pierre 2024-01-04 12:15:28 +01:00
  • 4b929e8dc4 update RelaxedR1CSGadget to work with FieldVar trait so we can plug in FpVar and NonNativeFieldVar indistinctly (#46) arnaucube 2024-01-02 11:28:21 +01:00
  • b9af3188f9 Port ProtoGalaxy from https://github.com/arnaucube/protogalaxy-poc adapting it to the current folding-schemes lib (#37) arnaucube 2023-12-18 10:24:13 +01:00
  • b4f42e7023 Implement CycleFold in Nova's IVC (#45) arnaucube 2023-12-18 09:42:46 +01:00
  • 876e23c159 Feature/sumcheck (#40) Pierre 2023-12-15 14:21:07 +01:00
  • 14a0b460e7 feat: add TranscriptVar trait (#42) Pierre 2023-12-05 20:28:06 +03:00
  • 905ba44d8d Feature/nova ivc (#36) arnaucube 2023-11-24 11:15:14 +01:00
  • 6d919d7a5b Feature/f circuit multiple in outs (#35) arnaucube 2023-11-06 16:31:54 +01:00
  • 8edea23c2f Add Pedersen::{commit,open,verify} MSM error handling (#34) arnaucube 2023-10-31 08:02:44 +01:00
  • 597ac27288 implement Nova's AugmentedFCircuit (#33) arnaucube 2023-10-30 09:02:19 +01:00
  • 7656c6bd6c Circom wrapper's helper function (#26) Y5 2023-10-18 00:32:58 +09:00
  • 422db752f9 impl hash committed instance gadget (#17) (#31) arnaucube 2023-10-12 11:04:45 +02:00
  • 9a2a1fdd13 Refactor Matrix vectors and Logical operation (#28) ashWhiteHat 2023-10-10 20:48:33 +09:00
  • 13e471aeaf add error handling to several pending methods (#30) arnaucube 2023-10-04 15:43:24 +02:00
  • 8256c27609 Port/hypernova multifolding (#10) arnaucube 2023-09-11 09:31:23 +02:00
  • ac913ab573 Add decider circuit RelaxedR1CS (#21) arnaucube 2023-09-07 19:21:30 +02:00
  • d9887af535 Implement Nova's NIFS.Verify circuits (with CycleFold) (#11) arnaucube 2023-09-05 17:17:59 +02:00
  • 9ae046c4fc Implement CycleFold's EC RLC check circuit (#9) arnaucube 2023-08-29 08:49:48 +02:00
  • b4a0b50618 Port Espresso's VirtualPoly, MLE and SumCheck (#8) arnaucube 2023-08-29 08:49:43 +02:00
  • 15e2886e61 Implement Nova's NIFS.P & NIFS.V (#7) arnaucube 2023-08-23 15:07:33 +02:00
  • 240b916ddf Add initial CCS mod: (#6) arnaucube 2023-08-23 10:22:25 +02:00
  • bc81fbea59 Add utils::vec & pedersen modules (#5) arnaucube 2023-08-22 14:48:10 +02:00
  • 77a0c8e6e3 feat: port CI from halo2curves (#4) Han 2023-08-17 19:10:25 +08:00
  • 16e261bbed Feature/traits (#3) arnaucube 2023-08-17 10:32:26 +02:00
  • eea9bf2a88 Initial commit Han 2023-08-15 18:05:20 +08:00