arnaucube
/
go-snark-study
mirror of https://github.com/arnaucube/go-snark-study.git
1
1
Fork 0
Code Issues Projects Releases Wiki Activity
43 Commits
1 Branch
4 Tags
11 MiB
Tree: 3308c3d94e
Branches Tags
${ item.name }
Create branch ${ searchTerm }
from '3308c3d94e'
${ noResults }
Commit Graph

16 Commits (3308c3d94ef1a17509babdebff45d6a7a76fec4b)

Author SHA1 Message Date
  kimiwu123 3308c3d94e follow whitespace rule of strings.TrimSpace 5 years ago
  arnaucube de5b60b826 add allow import circuits in circuits language compiler 5 years ago
  arnaucube 165699b58f circuitcompiler allow to call declared functions in circuits language 5 years ago
  arnaucube 8ad8ae35f7 minimal clean & update tests 5 years ago
  arnaucube b379981087 add circuit compiler equals(a, b) syntax, complete flow working well (from compiler to verification) 5 years ago
  arnaucube 7d1d390a81 fixed full flow, now works, need to update circuit parser&compiler, and clean the code 5 years ago
  arnaucube e0f427095e add private & public inputs wrapper 5 years ago
  arnaucube 7d0c2ad53c fixing Z(x), VkIC, Vkz, piH calculations 5 years ago
  arnaucube 6ac73415ab add rho's for proof keys and verification keys calculation, Vk.IC, add alphas input soundness when generating trusted setup 5 years ago
  arnaucube a7454213a0 circuit output in proof.PublicSignals for proof verification 5 years ago
  arnaucube 33de628a91 cli 5 years ago
  arnaucube 1375596a74 snark.Utils packed 5 years ago
  arnaucube aefb298bb0 circuit CalculateWitness, added - & / in GenerateR1CS(), added doc 5 years ago
  arnaucube 0806af6b80 flat circuit code to R1CS working 5 years ago
  arnaucube a239ffe221 circuit parser (wip) 5 years ago
  arnaucube d42dffff22 starting circuitcompiler, lexer and parser (simple version) 5 years ago