9 Commits

Author	SHA1	Message	Date
Daniel Lubarov	0cd7339940	Fixes based on PR feedback	2021-04-07 09:10:06 -07:00
Daniel Lubarov	e8eb658f8e	Candidate API for Merkle proof data ... Does this make sense? I think other libraries tend to include the leaf's index (either as an integer, or a series of bits indicating left/right turns) as part of a "proof". In FRI, the leaf indices are chosen by the verifier, so I thought that approach might be sort of redundant. Let me know what you think though.	2021-04-06 19:17:38 -07:00
Daniel Lubarov	234fdc7c99	Bit of refactoring, comments, etc.	2021-04-01 12:49:31 -07:00
Daniel Lubarov	cca79a992c	Sponges etc	2021-03-31 21:15:24 -07:00
Daniel Lubarov	44eeb505eb	Tweaks	2021-03-30 10:02:00 -07:00
Daniel Lubarov	ba96ab4e99	More prover work	2021-03-26 23:51:48 -07:00
Daniel Lubarov	8c95dd11d7	Bit of prover work	2021-03-21 19:50:05 -07:00
Daniel Lubarov	9fdff8ea08	Gate infra	2021-02-26 13:18:41 -08:00
Daniel Lubarov	13cc76316c	Initial commit	2021-02-17 14:36:32 -08:00