6 Commits

Author SHA1 Message Date
Michael Rosenberg
3a803bf1de Added README 2022-09-01 02:23:00 -04:00
Michael Rosenberg
3eeae8eafe Split out R_binary and subslice revelation 2022-09-01 02:13:21 -04:00
Michael Rosenberg
8b6baebb5e Initial speccing of R_decode proof 2022-09-01 01:32:10 -04:00
Michael Rosenberg
8843936623 Wrote verifier for R_binary 2022-08-30 17:52:18 -04:00
Michael Rosenberg
ce27cb3dea Added verif time reporting in tests 2022-08-11 03:21:49 -04:00
Michael Rosenberg
b1d1eb8cde Initial commit; subslice proofs passing tests 2022-08-11 03:09:51 -04:00