arnaucube
/
go-snark-study
mirror of https://github.com/arnaucube/go-snark-study.git
1
1
Fork 0
Code Issues Projects Releases Wiki Activity

Commit Graph

  • 4780061 (HEAD -> master) Archive repository by arnaucube 2021-06-13 18:37:08 +0200
  • aec3022 Update README.md by arnaucube 2020-04-14 18:18:55 +0200
  • 2461f86 Merge pull request #14 from KimiWu123/master by arnau 2019-10-31 11:39:20 +0100
  • 3308c3d (refs/pull/14/head) follow whitespace rule of strings.TrimSpace by kimiwu123 2019-10-31 15:18:01 +0800
  • 2cbba4e (tag: v0.0.4) add verify proof generated from snarkjs by arnaucube 2019-07-30 22:23:48 +0200
  • 469eabd split trustedsetup in Pk & Vk for proof generation & verification smaller inputs by arnaucube 2019-07-28 12:56:13 +0200
  • 41f7a35 remove circuit parameter from proof Verification by arnaucube 2019-07-27 18:08:54 +0200
  • e98a97e add wasm for Groth16 proof generation & verification by arnaucube 2019-07-10 21:06:02 +0200
  • 417cc92 add wasm snark proof verification function (Pinocchio) by arnaucube 2019-06-24 21:02:42 +0200
  • 0a16248 wasm proof generation from browser working. Added cli wasm exporters, html&js browser example, wasm wrapper from go by arnaucube 2019-06-24 16:50:28 +0200
  • 662d92b add wasm utils: bigint-string parsers by arnaucube 2019-06-24 12:32:40 +0200
  • c848b85 (refs/pull/10/head) rename circuit by Ali Kefia 2019-06-24 09:39:26 +0200
  • 54a265e move pf to fields and qap conversion to proof module by Ali Kefia 2019-06-18 23:35:47 +0200
  • 1bf5a75 refactoring: - avoid code duplication on cmd - interface for proof system by Ali Kefia 2019-06-17 23:11:06 +0200
  • 49fead2 (refs/pull/8/head) New Multiplication Gate reduction algorithm! Extracting coefficients from each output, s.t. each gate has a higher chance of being reused. See new Readme by mottla 2019-06-17 16:32:35 +0200
  • ab3714b more conventional cmd by Ali Kefia 2019-06-13 14:32:23 +0200
  • f57599c (tag: 0.0.3) add Groth16 to cli by arnaucube 2019-06-10 15:10:08 +0200
  • e3cd35c add Groth16 proof generation & verification by arnaucube 2019-06-10 13:07:09 +0200
  • fa91b9f add Groth16 setup calculation by arnaucube 2019-06-10 11:43:59 +0200
  • a37361a add gitter button by arnaucube 2019-06-07 22:57:04 +0200
  • 345063d dont mix input output by mottla 2019-06-07 16:57:40 +0200
  • 5c59496 changed signal order : [1,inputs..,outputs...,trace...] Improved performance by mottla 2019-06-07 12:34:01 +0200
  • 023d661 more efficient matrix transpose by mottla 2019-06-04 20:57:39 +0200
  • ed4291e writing test for proof generation and verification by mottla 2019-06-04 17:03:43 +0200
  • 0096fbc Preparing Pull Request by mottla 2019-06-01 19:51:13 +0200
  • 2fc30d4 multiplication gate reduction via reusing old gates with equivalent behaviour by mottla 2019-06-01 19:17:11 +0200
  • 621b377 adding test for various programs changed parse logic. Merged two functions into one, once I noticed that its possible. by mottla 2019-05-29 14:59:21 +0200
  • 6244b7a improved circuit compiling by mottla 2019-05-27 12:54:53 +0200
  • 0820a81 changing gate structure from entirely by mottla 2019-05-25 16:50:39 +0200
  • 7aaf052 new variable renaming logic by mottla 2019-05-23 16:01:17 +0200
  • 1ea0dbf optimizing R1CS representation by mottla 2019-05-22 17:57:50 +0200
  • de0e081 reducing multiplication gates with constants by mottla 2019-05-14 16:35:51 +0200
  • 705e500 -initial commit, -extending flat code compiler to a more general compiler -reducing all gates to multiplication gates only in the R1CS description of a program. by mottla 2019-05-13 10:41:08 +0200
  • dca8738 update cli, update readme by arnaucube 2019-05-12 17:35:22 +0200
  • 24b4cf6 minimal clean & update tests by arnaucube 2019-05-12 17:13:58 +0200
  • 7b1a15d add travis by arnaucube 2019-06-03 18:35:08 +0200
  • de5b60b (tag: 0.0.2) add allow import circuits in circuits language compiler by arnaucube 2019-05-30 21:39:00 +0200
  • 165699b circuitcompiler allow to call declared functions in circuits language by arnaucube 2019-05-25 04:11:39 +0200
  • bafbe48 (tag: 0.0.1) update README.md by arnaucube 2019-05-18 09:38:05 +0200
  • f474fe2 update readme, add circuit examples dir, add vim/nvim .circuit syntax highlighter by arnaucube 2019-05-14 20:00:05 +0200
  • 66629d2 update cli, update readme by arnaucube 2019-05-12 17:35:22 +0200
  • 8ad8ae3 minimal clean & update tests by arnaucube 2019-05-12 17:13:58 +0200
  • 7a6062e Merge pull request #5 from arnaucube/fix/circuitcompiler by arnau 2019-05-11 23:07:36 +0200
  • b379981 (refs/pull/5/head) add circuit compiler equals(a, b) syntax, complete flow working well (from compiler to verification) by arnaucube 2019-05-11 23:06:02 +0200
  • 7d1d390 fixed full flow, now works, need to update circuit parser&compiler, and clean the code by arnaucube 2019-05-11 22:19:18 +0200
  • e0f4270 add private & public inputs wrapper by arnaucube 2019-05-06 08:09:02 +0200
  • de33c12 small update, fix trusted setup ops over Field R by arnaucube 2019-05-05 22:59:53 +0200
  • 7d0c2ad fixing Z(x), VkIC, Vkz, piH calculations by arnaucube 2019-04-22 23:23:40 +0200
  • 6ac7341 add rho's for proof keys and verification keys calculation, Vk.IC, add alphas input soundness when generating trusted setup by arnaucube 2019-02-28 19:52:59 +0100
  • a745421 circuit output in proof.PublicSignals for proof verification by arnaucube 2019-01-01 22:55:03 +0100
  • 33de628 cli by arnaucube 2018-12-30 21:16:19 +0100
  • 1375596 snark.Utils packed by arnaucube 2018-12-29 13:49:34 +0100
  • aefb298 circuit CalculateWitness, added - & / in GenerateR1CS(), added doc by arnaucube 2018-12-28 00:46:42 +0100
  • 0806af6 flat circuit code to R1CS working by arnaucube 2018-12-26 16:40:05 +0100
  • a239ffe circuit parser (wip) by arnaucube 2018-12-24 22:59:18 +0100
  • d42dfff starting circuitcompiler, lexer and parser (simple version) by arnaucube 2018-12-24 16:53:38 +0100
  • f555ae4 snark trusted setup + generate proof + verify proof working. Added test to bn128 pairing by arnaucube 2018-12-23 16:19:33 +0100
  • 7aafcfd bn128.NewFqR with field over R. Setup.Pk & .Vk by arnaucube 2018-12-12 14:05:59 +0100
  • 439d894 key generation for proofs, snark files to the root directory by arnaucube 2018-12-09 21:36:05 +0100
  • 19f7216 e(Vb, piB) == e(piB', g2) proof by arnaucube 2018-12-07 22:00:27 +0100
  • 917eeca proofs by arnaucube 2018-12-06 17:39:21 +0100
  • 6cd494f doing trusted setup by arnaucube 2018-12-04 23:50:43 +0100
  • 88c3e98 polynomial Division, SolPolynomials, DivisorPolynomial by arnaucube 2018-12-03 18:41:29 +0100
  • b1df15a r1cs to qap over finite field by arnaucube 2018-12-02 19:13:18 +0100
  • e889b8b bn128 pairing, r1cs to qap by arnaucube 2018-12-01 22:05:04 +0100
  • 037c5c0 Initial commit by arnau 2018-12-01 22:02:51 +0100