Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on May 3, 2024

• exposed witness_size in folding_schemes init

  

  amit0365

  committed
  ca6f9ab

  Copy full SHA for ca6f9ab

• changed steps_native to mut self

  

  amit0365

  committed
  174ab22

  Copy full SHA for 174ab22

• updated my circom_compat fork

  

  amit0365

  committed
  17cc33c

  Copy full SHA for 17cc33c

Commits on Apr 26, 2024

• Full flow example (privacy-scaling-explorations#90)

  Show description for 9bbdfc5
  arnaucube

  authored
  9bbdfc5

  Copy full SHA for 9bbdfc5

Commits on Apr 25, 2024

• Add solidity verifier of the nova+cyclefold (privacy-scaling-explorations#87)

  Show description for 97df224
  

  arnaucube

  and

  dmpierre

  authored
  97df224

  Copy full SHA for 97df224

Commits on Apr 17, 2024

• add README.md (privacy-scaling-explorations#39)

  Show description for 8b23303
  

  arnaucube

  and

  dmpierre

  authored
  8b23303

  Copy full SHA for 8b23303

• Fix the incorrect NonNativeAffineVar::inputize implementation (privacy-scaling-explorations#89)

  Show description for d23e6d1
  winderica

  authored
  d23e6d1

  Copy full SHA for d23e6d1

Commits on Apr 16, 2024

• Reduce the number of constraints in DeciderEthCircuit (privacy-scaling-explorations#88)

  Show description for b648ddb
  winderica

  authored
  b648ddb

  Copy full SHA for b648ddb

Commits on Apr 14, 2024

• Adapt Frontend/Circom for FCircuit Trait (privacy-scaling-explorations#71)

  Show description for 03f6691
  

  yugocabrio

  and

  arnaucube

  authored
  03f6691

  Copy full SHA for 03f6691

Commits on Apr 12, 2024

• Reduce the number of constraints in AugmentedFCircuit for Nova (privacy-scaling-explorations#86)

  Show description for 4dcb981
  winderica

  authored
  4dcb981

  Copy full SHA for 4dcb981

Commits on Apr 11, 2024

• Add the digest of the Relaxed R1CS instance for CycleFold as a public input to AugmentedFCircuit (privacy-scaling-explorations#84)

  Show description for 6a7dd93
  winderica

  authored
  6a7dd93

  Copy full SHA for 6a7dd93

Commits on Apr 4, 2024

• Link committed instances and r to the public input x in cyclefold circuit (privacy-scaling-explorations#81)

  Show description for b8db622
  arnaucube

  authored
  b8db622

  Copy full SHA for b8db622

Commits on Mar 26, 2024

• Compute Decider's CM challenges in Groth16 circuit, link G16 & KZG proofs in Onchain Decider, refactor CommitmentScheme trait (privacy-scaling-explorations#79)

  Show description for fe9a488
  arnaucube

  authored
  fe9a488

  Copy full SHA for fe9a488

Commits on Mar 18, 2024

• Add CLI interface for verifier contract generation (privacy-scaling-explorations#74)

  Show description for 1072b66
  CPerezz

  authored
  1072b66

  Copy full SHA for 1072b66

Commits on Mar 11, 2024

• Add external inputs logic to F function/circuit. Add an example of usage with external inputs too. (privacy-scaling-explorations#78)

  Show description for a4905c8
  arnaucube

  authored
  a4905c8

  Copy full SHA for a4905c8

Commits on Mar 1, 2024

• Change CycleFold circuit approach (privacy-scaling-explorations#77)

  Show description for 602a367
  arnaucube

  authored
  602a367

  Copy full SHA for 602a367

• Add IPA commitment scheme and the respective circuit verifier gadget (privacy-scaling-explorations#72)

  Show description for b25037e
  arnaucube

  authored
  b25037e

  Copy full SHA for b25037e

Commits on Feb 26, 2024

• Add typos tool to CI to automate typo detection (privacy-scaling-explorations#76)

  Show description for 9159c5c
  arnaucube

  authored
  9159c5c

  Copy full SHA for 9159c5c

Commits on Feb 22, 2024

• Fix Nova multi-elements state (privacy-scaling-explorations#73)

  Show description for 89d6067
  arnaucube

  authored
  89d6067

  Copy full SHA for 89d6067

Commits on Feb 9, 2024

• Add solidity groth16, kzg10 and final decider verifiers in a dedicated workspace (privacy-scaling-explorations#70)

  Show description for 63dbbfe
  

  3 peopleauthored
  63dbbfe

  Copy full SHA for 63dbbfe

Commits on Feb 8, 2024

• Add Decider impl for Nova onchain (privacy-scaling-explorations#66)

  Show description for 97e973a
  arnaucube

  authored
  97e973a

  Copy full SHA for 97e973a

Commits on Feb 5, 2024

• make calculation of F(X) in protogalaxy prover happen in O(n) (privacy-scaling-explorations#52)

  Show description for 383a70d
  

  Silur

  and

  CPerezz

  authored
  383a70d

  Copy full SHA for 383a70d

Commits on Feb 2, 2024

• Fit Nova+CycleFold into FoldingScheme trait & Add examples/ for folding SHA256 circuit (privacy-scaling-explorations#64)

  Show description for 186766c
  arnaucube

  authored
  186766c

  Copy full SHA for 186766c

Commits on Jan 30, 2024

• Adapt Nova usage of commitment to the generic trait (privacy-scaling-explorations#63)

  arnaucube

  authored
  f85a056

  Copy full SHA for f85a056

Commits on Jan 25, 2024

• Add CommitmentProver trait, and add KZG prover to it (privacy-scaling-explorations#62)

  Show description for 47e47cc
  

  arnaucube

  and

  han0110

  authored
  47e47cc

  Copy full SHA for 47e47cc

Commits on Jan 16, 2024

• refactor frontend composition, update usage of arkworks CS helpers, refactor test circuits (privacy-scaling-explorations#54)

  Show description for 7e3d2df
  arnaucube

  authored
  7e3d2df

  Copy full SHA for 7e3d2df

Commits on Jan 15, 2024

• A circuit for computing c, from section 5, step 5 of "A multi-folding scheme for CCS" (privacy-scaling-explorations#61)

  Show description for 46e5387
  

  dmpierre

  and

  arnaucube

  authored
  46e5387

  Copy full SHA for 46e5387

Commits on Jan 10, 2024

• Nova+CycleFold Decider circuit (for onchain use case) (privacy-scaling-explorations#49)

  Show description for 4981980
  arnaucube

  authored
  4981980

  Copy full SHA for 4981980

Commits on Jan 4, 2024

• Feature/sumcheck circuit (privacy-scaling-explorations#47)

  Show description for 05f4991
  

  dmpierre

  and

  arnaucube

  authored
  05f4991

  Copy full SHA for 05f4991

Commits on Jan 2, 2024

• update RelaxedR1CSGadget to work with FieldVar trait so we can plug in FpVar and NonNativeFieldVar indistinctly (privacy-scaling-explorations#46)

  Show description for 4b929e8
  arnaucube

  authored
  4b929e8

  Copy full SHA for 4b929e8

Commits on Dec 18, 2023

• Port ProtoGalaxy from https://github.com/arnaucube/protogalaxy-poc adapting it to the current folding-schemes lib (privacy-scaling-explorations#37)

  Show description for b9af318
  arnaucube

  authored
  b9af318

  Copy full SHA for b9af318

• Implement CycleFold in Nova's IVC (privacy-scaling-explorations#45)

  Show description for b4f42e7
  arnaucube

  authored
  b4f42e7

  Copy full SHA for b4f42e7

Commits on Dec 15, 2023

• Feature/sumcheck (privacy-scaling-explorations#40)

  Show description for 876e23c
  dmpierre

  authored
  876e23c

  Copy full SHA for 876e23c

Commits on Dec 5, 2023

• feat: add TranscriptVar trait (privacy-scaling-explorations#42)

  Show description for 14a0b46
  

  dmpierre

  and

  arnaucube

  authored
  14a0b46

  Copy full SHA for 14a0b46

Commits on Nov 24, 2023

• Feature/nova ivc (privacy-scaling-explorations#36)

  Show description for 905ba44
  arnaucube

  authored
  905ba44

  Copy full SHA for 905ba44

Pagination

Previous

Next