arnaucube
arnaucube/go-snarkPublic Self-hosted repository

Commit history

7d0c2ad53ce2d1a70ca2dfc56e3b597a40ed63b9
a
fixing Z(x), VkIC, Vkz, piH calculations
arnaucube committed on Apr 22, 2019
7d0c2ad
a
add rho's for proof keys and verification keys calculation, Vk.IC, add alphas input soundness when generating trusted setup
arnaucube committed on Feb 28, 2019
6ac7341
a
circuit output in proof.PublicSignals for proof verification
arnaucube committed on Jan 1, 2019
a745421
a
cli
arnaucube committed on Dec 30, 2018
33de628
a
snark.Utils packed
arnaucube committed on Dec 29, 2018
1375596
a
circuit CalculateWitness, added - & / in GenerateR1CS(), added doc
arnaucube committed on Dec 28, 2018
aefb298
a
flat circuit code to R1CS working
arnaucube committed on Dec 26, 2018
0806af6
a
circuit parser (wip)
arnaucube committed on Dec 24, 2018
a239ffe
a
starting circuitcompiler, lexer and parser (simple version)
arnaucube committed on Dec 24, 2018
d42dfff
a
snark trusted setup + generate proof + verify proof working. Added test to bn128 pairing
arnaucube committed on Dec 23, 2018
f555ae4
a
bn128.NewFqR with field over R. Setup.Pk & .Vk
arnaucube committed on Dec 12, 2018
7aafcfd
a
key generation for proofs, snark files to the root directory
arnaucube committed on Dec 9, 2018
439d894
a
e(Vb, piB) == e(piB', g2) proof
arnaucube committed on Dec 7, 2018
19f7216
a
proofs
arnaucube committed on Dec 6, 2018
917eeca
a
doing trusted setup
arnaucube committed on Dec 4, 2018
6cd494f
a
polynomial Division, SolPolynomials, DivisorPolynomial
arnaucube committed on Dec 3, 2018
88c3e98
a
r1cs to qap over finite field
arnaucube committed on Dec 2, 2018
b1df15a
a
bn128 pairing, r1cs to qap
arnaucube committed on Dec 1, 2018
e889b8b
a
Initial commit
arnau committed on Dec 1, 2018
037c5c0