Commit history
a
circuitcompiler allow to call declared functions in circuits language
165699barnaucube committed on May 25, 2019
a
update readme, add circuit examples dir, add vim/nvim .circuit syntax highlighter
f474fe2arnaucube committed on May 14, 2019
a
Merge pull request #5 from arnaucube/fix/circuitcompiler
Fix/circuitcompiler
7a6062earnau committed on May 11, 2019
a
add rho's for proof keys and verification keys calculation, Vk.IC, add alphas input soundness when generating trusted setup
6ac7341arnaucube committed on Feb 28, 2019
a
circuit output in proof.PublicSignals for proof verification
a745421arnaucube committed on Jan 1, 2019
a
circuit CalculateWitness, added - & / in GenerateR1CS(), added doc
aefb298arnaucube committed on Dec 28, 2018
a
starting circuitcompiler, lexer and parser (simple version)
d42dfffarnaucube committed on Dec 24, 2018
a
snark trusted setup + generate proof + verify proof working. Added test to bn128 pairing
f555ae4arnaucube committed on Dec 23, 2018
a
key generation for proofs, snark files to the root directory
439d894arnaucube committed on Dec 9, 2018
a
add circuit compiler equals(a, b) syntax, complete flow working well (from compiler to verification)
b379981arnaucube committed on May 11, 2019
a
fixed full flow, now works, need to update circuit parser&compiler, and clean the code
7d1d390arnaucube committed on May 11, 2019