github/zk-toolkit
1
1
Fork 0
mirror of https://github.com/exfinen/zk-toolkit.git synced 2026-01-13 05:57:56 -05:00
Code Issues Packages Projects Releases Wiki Activity

Commit Graph

  • bdc3ceadaa rename sample to example exfinen 2022-11-29 14:14:57 +09:00
  • 1edb610256 mod rhs in all operations exfinen 2022-11-29 14:13:39 +09:00
  • 3d47f47317 let QAP::build take reference of r1cs exfinen 2022-11-28 16:19:43 +09:00
  • 59332b4afc add final samples exfinen 2022-11-28 16:14:58 +09:00
  • abb5182906 wip exfinen 2022-11-28 11:14:43 +09:00
  • 8436477752 wip exfinen 2022-11-28 09:59:28 +09:00
  • 4fc0af1376 rename sample code blog post 1 exfinen 2022-11-28 09:47:20 +09:00
  • 6ebe4a9b2e improve constraint debug print exfinen 2022-11-27 05:05:09 +09:00
  • 690a6616c3 use pretty print is Debug trait impl of SparseVec exfinen 2022-11-27 04:58:48 +09:00
  • cedb6e8767 wip exfinen 2022-11-27 03:59:36 +09:00
  • 09dedf5c99 wip exfinen 2022-11-27 03:26:43 +09:00
  • 7a2fde0cbd fix comment exfinen 2022-11-26 06:59:29 +09:00
  • 51015fe272 make special case when target value for qap polynomial construction is zero exfinen 2022-11-25 16:04:38 +09:00
  • ca818495a4 fix typo exfinen 2022-11-18 19:36:26 +09:00
  • cb52c36b56 remove unnessesary negative amount handling in field times exfinen 2022-11-18 08:48:05 +09:00
  • cc67b66124 fix plus and minus not handling above 2 x order input properly issue exfinen 2022-11-17 13:07:27 +09:00
  • 21c734a7fb wip exfinen 2022-11-10 17:16:48 +09:00
  • 92db751b3c add QAP exfinen 2022-11-10 17:16:33 +09:00
  • 2fa471f554 wip exfinen 2022-11-09 18:00:38 +09:00
  • e703ef82da add last step of QAP without tests exfinen 2022-11-09 17:51:22 +09:00
  • 78baefab74 use spase_matrices in r1cs to qap conversion steps exfinen 2022-11-08 15:38:09 +09:00
  • 2bc7cce299 wip exfinen 2022-11-07 19:50:42 +09:00
  • c2009b4a86 add working r1cs to polynomials test exfinen 2022-11-02 20:47:24 +09:00
  • f2b3bfc71a add sparse matrix transpose exfinen 2022-11-02 16:15:21 +09:00
  • 2399f607dc wip exfinen 2022-11-01 19:07:38 +09:00
  • bba59be3d5 add tests for spase matrix multiplication. add equality and pretty print to sparse matrix exfinen 2022-11-01 19:07:09 +09:00
  • 7e26a7848d add untested sparse matrix mul exfinen 2022-10-31 18:09:18 +09:00
  • 530dab4bec add sparse matrix w/o multiplication exfinen 2022-10-31 17:10:06 +09:00
  • af02f9ec0b use FieldElem instead of usize in snarks exfinen 2022-10-31 15:35:22 +09:00
  • 17471d4e1f wip exfinen 2022-10-26 16:51:48 +09:00
  • 471f17353e fix problems in converting r1cs to qap exfinen 2022-10-26 16:47:29 +09:00
  • abf834d14d add polynomial eval exfinen 2022-10-26 11:57:03 +09:00
  • 2e27326f62 add QAP build that runs to completion (not tested) exfinen 2022-10-25 19:28:13 +09:00
  • ce6a65e836 wip exfinen 2022-10-23 09:22:28 +09:00
  • 64283a1822 rename functions exfinen 2022-10-23 08:06:34 +09:00
  • 03fa9bc23b add index operator override to SpaseVec exfinen 2022-10-22 09:22:05 +09:00
  • a75fd73ab3 drop safe_get and return 0 for non-existing key exfinen 2022-10-22 09:03:25 +09:00
  • 613455072f let SparseVec have Field exfinen 2022-10-22 08:46:35 +09:00
  • 4be2a582a8 wip exfinen 2022-10-21 19:32:27 +09:00
  • ac0bc7d43e wip exfinen 2022-10-21 19:15:24 +09:00
  • 4a9ff83604 wip exfinen 2022-10-21 16:57:21 +09:00
  • 12b4569cc4 wip exfinen 2022-10-21 13:51:38 +09:00
  • 57a10c572f wip exfinen 2022-10-21 10:10:28 +09:00
  • 7075356e80 add skeleton qap exfinen 2022-10-19 13:40:11 +09:00
  • 9d873d0973 wip exfinen 2022-10-18 10:17:58 +09:00
  • 73bd1c9f69 remove debug output exfinen 2022-10-18 10:15:39 +09:00
  • 061a3af2a8 add randomizing div test exfinen 2022-10-18 10:14:18 +09:00
  • e14d47d403 add polynomial div exfinen 2022-10-17 19:34:18 +09:00
  • fc728c1c5f wip exfinen 2022-10-13 10:23:46 +09:00
  • a3c3779756 add skeleton polynomial div function exfinen 2022-10-13 10:16:26 +09:00
  • 8e5dd305e5 add test to cover the case where addition ends up w/ zero highest degree term exfinen 2022-10-12 19:06:55 +09:00
  • 506e4b5f34 add polynomial supporting add and mul exfinen 2022-10-12 18:30:05 +09:00
  • e1009454eb wip exfinen 2022-10-05 09:08:36 +09:00
  • 14c6c05b44 Merge branch 'main' of github.com.exfinen:exfinen/zk-toolkit exfinen 2022-10-05 09:03:28 +09:00
  • c47983794b impl debug for sparse_vec exfinen 2022-10-05 09:01:29 +09:00
  • a213ea5f1c wip exfinen 2022-10-05 08:29:12 +09:00
  • 07f28b1f37 update readme exfinen 2022-10-04 20:11:35 +09:00
  • 6c4f953ac2 remove debug output exfinen 2022-10-04 20:06:24 +09:00
  • 0d768b2a52 remove Term::Num from witness template exfinen 2022-10-04 20:04:56 +09:00
  • a5825be0a8 fix implementation of Debug trait in term and fate exfinen 2022-10-04 18:00:27 +09:00
  • 1ab44f6ca6 support equation with == exfinen 2022-10-04 17:33:53 +09:00
  • 58394d55e3 factor R1CS into R1CSTmpl and R1CS exfinen 2022-10-04 10:59:55 +09:00
  • ff3f80430c remove trailing spaces exfinen 2022-10-01 16:39:37 +09:00
  • c972c8c97e wip exfinen 2022-10-01 14:40:13 +09:00
  • bf0c5552e2 support multiplication of sparse_vecs. add witness validation to r1cs exfinen 2022-10-01 14:37:57 +09:00
  • 29b021e62f fix tests exfinen 2022-10-01 11:51:11 +09:00
  • 1c1cd5b7f1 support sub and div conversion to r1cs exfinen 2022-10-01 11:02:29 +09:00
  • bba84002ab revert - and / operators back exfinen 2022-10-01 11:01:19 +09:00
  • a8f7978373 wip exfinen 2022-09-29 17:15:51 +09:00
  • bd8a1fc1ce wip exfinen 2022-09-29 17:12:30 +09:00
  • d90cfe5a9d compute solution vector w/ variables and a,b and c vectors for each gate exfinen 2022-09-29 17:11:29 +09:00
  • 2dd5e29154 wip exfinen 2022-09-28 18:44:07 +09:00
  • 88ae442a39 let Statement generate out statement as well exfinen 2022-09-28 10:04:38 +09:00
  • 54b2337342 wip exfinen 2022-09-27 19:05:20 +09:00
  • 18a14595d4 drop sub and div from equation. add r1cs to convert equation to flattened arithmetic circuit exfinen 2022-09-27 19:02:30 +09:00
  • 6f923ca94f rename MathExpr to Equation exfinen 2022-09-22 09:10:07 +09:00
  • 359d78f0b7 alias signed int types by ToBigInt. fix signed int to FieldElem conversion. merge the same conversion logic in Parser to Field exfinen 2022-09-22 09:02:40 +09:00
  • 58e37cbc7c pass Field as a parameter to parse exfinen 2022-09-22 08:29:30 +09:00
  • bbf7eec309 remove unnecessesary clone exfinen 2022-09-21 18:52:45 +09:00
  • 824dc95f0f clean up exfinen 2022-09-21 18:49:17 +09:00
  • 2844bab39a get rid of static mut and unsafe from math_expr_parser exfinen 2022-09-21 18:46:52 +09:00
  • 1d150c800e wip exfinen 2022-09-21 15:38:57 +09:00
  • 0b507073c2 suppert variables in math expr exfinen 2022-09-21 11:53:50 +09:00
  • 3ac68a2a6c rename language to MathExprParser exfinen 2022-09-21 10:35:05 +09:00
  • 9e4457649d change Ast::Num to hold string exfinen 2022-09-21 10:29:13 +09:00
  • ed9f5ffa99 remove trailing commas exfinen 2022-09-21 09:35:15 +09:00
  • e915d6dae4 add skeleton r1cs exfinen 2022-09-13 17:29:24 +09:00
  • eda4942e08 add half and full adders exfinen 2022-09-13 17:19:40 +09:00
  • 4aa9e1f727 add bit based Number exfinen 2022-09-13 14:38:18 +09:00
  • 47dfb05c7d resolve conflicts exfinen 2022-09-08 19:31:30 +09:00
  • 0f491a7520 add boolean circuit add, xor exfinen 2022-09-08 19:28:53 +09:00
  • 9104190111 allow spaces around parenthes exfinen 2022-09-02 12:18:14 +09:00
  • 2a792d6f4f allow spaces around decimal exfinen 2022-09-02 12:12:22 +09:00
  • 375754b47b wip exfinen 2022-09-02 12:08:25 +09:00
  • 6007899572 create subdirs. add snarks/calculator skeleton rs exfinen 2022-08-29 13:56:00 +09:00
  • de642c2621 avoid unnecessary copy exfinen 2022-08-24 11:35:38 +09:00
  • 4aa8b9478d remove unused code exfinen 2022-08-24 11:32:14 +09:00
  • ef54cfd6df add tests for vector_ops exfinen 2022-08-22 16:10:02 +09:00
  • dbbb22e080 remove unused code exfinen 2022-08-20 17:58:54 +09:00
  • cf1665072c clean up around l0,l1,r0,r1 exfinen 2022-08-20 17:49:28 +09:00