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
|
28ea71118f
|
Rweber/zkp (#185)
Start ZKP compiler and refactor common code.
|
2022-11-15 12:43:04 -08:00 |
|