barnjamin / zk-experiments

barnjamin/zk-experiments Issues

RISC0: Investigate preexisting circuit definitions for AIR/FRI
Closed a year ago1
RISC0: Write demo program to be proven
Closed a year ago1
RISC0: PyTeal improvements
Closed a year ago1
RISC0: Instrument `verify` create to add debug logs for intermediate steps
Closed 2 years ago1
Secret-Bounties: Can we swap out the one-time-pad with Public-Key Crypto?
Updated 2 years ago
Nice to Have: Fixed Point _Unsigned_ Integers with Modular Overflow
Updated 2 years ago