Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root - #598
Open
johnchandlerburnham wants to merge 2 commits into
Open
Aggregate-first recursion: lift shard proofs, fold CheckEnv claims, and verify one root#598johnchandlerburnham wants to merge 2 commits into
CheckEnv claims, and verify one root#598johnchandlerburnham wants to merge 2 commits into
