610 Commits

Author SHA1 Message Date
rickwebiii
c8c979de0d mont reduce test 2023-02-27 15:47:52 -08:00
rickwebiii
ab22e25df2 fmt 2023-02-27 15:06:33 -08:00
rickwebiii
4bdd552c97 multiply internal test passes 2023-02-27 15:05:49 -08:00
rickwebiii
9c458b1046 part2 2023-02-27 13:31:23 -08:00
rickwebiii
00c540ccf4 mont reduce part 1 2023-02-27 13:27:59 -08:00
rickwebiii
32e562567b Shr works 2023-02-27 13:02:29 -08:00
rickwebiii
44ace51cb8 mont reduce 2023-02-27 10:05:46 -08:00
rickwebiii
aa97ba38c1 mulinternal 2023-02-25 17:49:02 -08:00
rickwebiii
5975eb77f6 Can u64 add and sub 2023-02-25 17:22:09 -08:00
rickwebiii
8133d24df9 WIP 2023-02-24 17:59:51 -08:00
rickwebiii
7a0c0bde88 Add documentation 2023-02-24 17:39:12 -08:00
rickwebiii
5ece887299 Can mul_wide 2023-02-24 17:32:32 -08:00
rickwebiii
9bfc15188b Can neg 2023-02-24 14:47:30 -08:00
rickwebiii
0d660f81b8 Can add 2023-02-24 14:34:30 -08:00
rickwebiii
83dca1f5ec Fix test failure 2023-02-24 13:49:03 -08:00
rickwebiii
835b6bd009 Beter errors 2023-02-24 13:38:00 -08:00
rickwebiii
9003580da4 Better validation 2023-02-24 13:32:16 -08:00
rickwebiii
4a4f959f26 WIP 2023-02-24 12:25:54 -08:00
rickwebiii
b64d96c090 Can pack unpack scalarvec 2023-02-24 11:09:43 -08:00
rickwebiii
1960820b7c pack unpack 2023-02-24 10:34:05 -08:00
rickwebiii
331e82d106 Rename 2023-02-23 12:39:52 -08:00
rickwebiii
618d89262e Concat and validate shaders 2023-02-23 11:24:33 -08:00
rickwebiii
8ecebc26ed Bound shader 2023-02-23 10:38:07 -08:00
rickwebiii
c47c1884be WIP 2023-02-22 17:35:15 -08:00
rickwebiii
a92c92610e Can query device and compile hello world 2023-02-21 14:44:45 -08:00
rickwebiii
d6ce1f0c50 fmt 2023-02-21 12:07:20 -08:00
rickwebiii
ec6c018ba2 clippy 2023-02-17 23:32:56 -08:00
rickwebiii
4e95388316 clippy 2023-02-17 23:21:29 -08:00
rickwebiii
baae3a10ca fmt 2023-02-17 23:20:59 -08:00
rickwebiii
1f582d03f9 Add hybrid computation vector 2023-02-17 23:19:21 -08:00
rickwebiii
be671a7895 Can invert scalars 2023-02-17 22:02:05 -08:00
rickwebiii
23e8fd51f7 GPU accelerated 2023-02-17 21:04:58 -08:00
rickwebiii
ee830d6d70 Rweber/zkp (#215)
Bring logproofs into monorepo
2023-02-17 14:44:03 -08:00
rickwebiii
48ebc52576 Rweber/zkp (#211)
Metal GPU accelerated scalar multiplication
2023-02-16 14:31:55 -08:00
rickwebiii
6837de9290 Randomness range proof now correct (#210) 2023-02-01 15:28:03 -08:00
Ryan Orendorff
70f28be1ee Fix wasm activate instruction to activate 3.1.3 (#209) 2023-01-31 10:25:20 -07:00
rickwebiii
a8be112cb8 Randomness range proof in R1CS now correct (#208)
* Randomness range proof now correct
2023-01-25 11:06:13 -08:00
rickwebiii
dbafe86200 Fix O(N^2) behavior in graph traversal (#207)
* Fix O(N^2) behavior in graph traversal

* Ref count LinearCombinations in Bulletproofs backend, dramatically reducing memory usage.
2023-01-23 16:50:25 -08:00
rickwebiii
4e236f7a39 CR comments (#206) 2023-01-20 13:55:41 -08:00
rickwebiii
61032735f8 Rweber/zkp (#205)
Can create pure R1CS BFV proof.
2023-01-20 13:38:04 -08:00
rickwebiii
b36480f0b0 Rweber/zkp (#204)
Can compute quotient and remainder in ZKP.
2023-01-18 17:03:50 -08:00
rickwebiii
e7b82bf6db Can do more comparison operations (#203)
Can do more comparison operations
2023-01-17 16:09:35 -08:00
rickwebiii
216fd1beda Rweber/zkp (#202)
Add less-than-equal comparison
2023-01-17 15:18:04 -08:00
rickwebiii
2f9acb39a7 Upgrade deps (#201) 2023-01-15 14:01:07 -08:00
rickwebiii
c01f0c59e3 Improve assert binary gadget (#200)
* Improve assert binary gadget

* cargo fmt

* clippy

* clippy
2023-01-15 13:45:10 -08:00
rickwebiii
0ceb4a5208 Rweber/zkp (#199)
* Multiply WIP

* Polynomial multiplication works

* clippy

* CR comment

* cargo fmt
2023-01-11 10:51:04 -08:00
rickwebiii
38a67b7d97 Can encode negative numbers onto native fields (#198)
* Can encode negative numbers onto native fields
2023-01-05 15:38:18 -08:00
rickwebiii
64036ccaee Rweber/zkp (#197)
Plumb BackendField to NativeField for negative number support.
2023-01-04 11:38:18 -08:00
rickwebiii
d03207e67e Rweber/zkp (#196)
Add BFV playground, Polynomial addition
2022-12-19 12:00:23 -08:00
rickwebiii
18fb031953 Rweber/zkp (#195)
Can now use #[constant] and #[public] inputs
2022-12-09 16:21:34 -08:00