Commit Graph

  • 478006134d Archive repository master arnaucube 2021-06-13 18:37:08 +02:00
  • aec3022978 Update README.md arnaucube 2020-04-14 18:18:55 +02:00
  • 2461f86bda Merge pull request #14 from KimiWu123/master arnau 2019-10-31 11:39:20 +01:00
  • 3308c3d94e follow whitespace rule of strings.TrimSpace kimiwu123 2019-10-31 15:18:01 +08:00
  • 2cbba4e007 add verify proof generated from snarkjs v0.0.4 arnaucube 2019-07-30 22:23:48 +02:00
  • 469eabd451 split trustedsetup in Pk & Vk for proof generation & verification smaller inputs arnaucube 2019-07-28 12:56:13 +02:00
  • 41f7a3518a remove circuit parameter from proof Verification arnaucube 2019-07-27 18:08:54 +02:00
  • e98a97e9fe add wasm for Groth16 proof generation & verification arnaucube 2019-07-10 21:06:02 +02:00
  • 417cc92a97 add wasm snark proof verification function (Pinocchio) arnaucube 2019-06-24 21:02:42 +02:00
  • 0a162482ee wasm proof generation from browser working. Added cli wasm exporters, html&js browser example, wasm wrapper from go arnaucube 2019-06-24 16:50:28 +02:00
  • 662d92b697 add wasm utils: bigint-string parsers arnaucube 2019-06-24 12:32:40 +02:00
  • f57599c091 add Groth16 to cli 0.0.3 arnaucube 2019-06-10 15:10:08 +02:00
  • e3cd35c1c9 add Groth16 proof generation & verification arnaucube 2019-06-10 13:07:09 +02:00
  • fa91b9ffad add Groth16 setup calculation arnaucube 2019-06-10 11:43:59 +02:00
  • a37361abf7 add gitter button arnaucube 2019-06-07 22:57:04 +02:00
  • 7b1a15df7f add travis arnaucube 2019-06-03 18:35:08 +02:00
  • de5b60b826 add allow import circuits in circuits language compiler 0.0.2 arnaucube 2019-05-30 21:39:00 +02:00
  • 165699b58f circuitcompiler allow to call declared functions in circuits language arnaucube 2019-05-25 04:11:39 +02:00
  • bafbe484e8 update README.md 0.0.1 arnaucube 2019-05-18 09:38:05 +02:00
  • f474fe2500 update readme, add circuit examples dir, add vim/nvim .circuit syntax highlighter arnaucube 2019-05-14 20:00:05 +02:00
  • 66629d2158 update cli, update readme arnaucube 2019-05-12 17:35:22 +02:00
  • 8ad8ae35f7 minimal clean & update tests arnaucube 2019-05-12 17:13:58 +02:00
  • 7a6062e3f1 Merge pull request #5 from arnaucube/fix/circuitcompiler arnau 2019-05-11 23:07:36 +02:00
  • b379981087 add circuit compiler equals(a, b) syntax, complete flow working well (from compiler to verification) arnaucube 2019-05-11 23:06:02 +02:00
  • 7d1d390a81 fixed full flow, now works, need to update circuit parser&compiler, and clean the code arnaucube 2019-05-11 22:19:18 +02:00
  • e0f427095e add private & public inputs wrapper arnaucube 2019-05-06 08:09:02 +02:00
  • de33c12283 small update, fix trusted setup ops over Field R arnaucube 2019-05-05 22:59:53 +02:00
  • 7d0c2ad53c fixing Z(x), VkIC, Vkz, piH calculations arnaucube 2019-04-22 23:23:40 +02:00
  • 6ac73415ab add rho's for proof keys and verification keys calculation, Vk.IC, add alphas input soundness when generating trusted setup arnaucube 2019-02-28 19:52:59 +01:00
  • a7454213a0 circuit output in proof.PublicSignals for proof verification arnaucube 2019-01-01 22:55:03 +01:00
  • 33de628a91 cli arnaucube 2018-12-30 21:16:19 +01:00
  • 1375596a74 snark.Utils packed arnaucube 2018-12-29 13:49:34 +01:00
  • aefb298bb0 circuit CalculateWitness, added - & / in GenerateR1CS(), added doc arnaucube 2018-12-28 00:46:42 +01:00
  • 0806af6b80 flat circuit code to R1CS working arnaucube 2018-12-26 16:40:05 +01:00
  • a239ffe221 circuit parser (wip) arnaucube 2018-12-24 22:59:18 +01:00
  • d42dffff22 starting circuitcompiler, lexer and parser (simple version) arnaucube 2018-12-24 16:53:38 +01:00
  • f555ae4b18 snark trusted setup + generate proof + verify proof working. Added test to bn128 pairing arnaucube 2018-12-23 16:19:33 +01:00
  • 7aafcfd5f3 bn128.NewFqR with field over R. Setup.Pk & .Vk arnaucube 2018-12-12 14:05:59 +01:00
  • 439d894ee7 key generation for proofs, snark files to the root directory arnaucube 2018-12-09 21:36:05 +01:00
  • 19f7216d0e e(Vb, piB) == e(piB', g2) proof arnaucube 2018-12-07 22:00:27 +01:00
  • 917eecaee0 proofs arnaucube 2018-12-06 17:39:21 +01:00
  • 6cd494f36f doing trusted setup arnaucube 2018-12-04 23:50:43 +01:00
  • 88c3e98cae polynomial Division, SolPolynomials, DivisorPolynomial arnaucube 2018-12-03 18:41:29 +01:00
  • b1df15a497 r1cs to qap over finite field arnaucube 2018-12-02 19:13:18 +01:00
  • e889b8b7dc bn128 pairing, r1cs to qap arnaucube 2018-12-01 22:05:04 +01:00
  • 037c5c0a67 Initial commit arnau 2018-12-01 22:02:51 +01:00