rickwebiii
|
6f713d6750
|
Rweber/zkp (#218)
Private tx range proof
|
2023-03-02 15:16:45 -08:00 |
|
rickwebiii
|
6604afbf95
|
ZKP array inputs (#217)
* ZKP array inputs
|
2023-03-01 13:33:14 -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
|
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
|
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
|
216fd1beda
|
Rweber/zkp (#202)
Add less-than-equal comparison
|
2023-01-17 15:18:04 -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 |
|
rickwebiii
|
85e3a60e35
|
Rweber/zkp (#194)
Add to_unsigned gadget and test
|
2022-12-08 17:57:31 -08:00 |
|
rickwebiii
|
c6056bf8d9
|
Rweber/zkp (#193)
Can use gadgets
|
2022-12-08 10:08:57 -08:00 |
|
rickwebiii
|
eac27d6ff5
|
Runtime now takes a ZKP backend (#192)
Runtime now takes a ZKP backend so we can JIT with NativeField
|
2022-12-03 11:31:43 -08:00 |
|
rickwebiii
|
72f00391ea
|
Rweber/zkp (#188)
ZKP works E2E
|
2022-11-29 13:47:29 -08:00 |
|
rickwebiii
|
d847021858
|
Rweber/zkp (#186)
Add ZKP backend for Bulletproofs
|
2022-11-18 20:06:48 -08:00 |
|
rickwebiii
|
28ea71118f
|
Rweber/zkp (#185)
Start ZKP compiler and refactor common code.
|
2022-11-15 12:43:04 -08:00 |
|