Commit Graph

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