4 Commits

Author SHA1 Message Date
wborgeaud
5edaab59e6 Renaming + Clippy 2021-06-16 11:37:07 +02:00
wborgeaud
e647e17720 Simplify insert and rotate gadgets, and check that we don't overrotate. 2021-06-16 11:17:45 +02:00
wborgeaud
8d999ab299 Rewrite insert gadget. 2021-06-16 10:43:18 +02:00
wborgeaud
cfa5807556 Add insert gadget to insert inferred leaf in FRI query rounds 2021-06-14 15:15:22 +02:00