Skip to content

feat(oracle-reduction): worst-case round-by-round security + ProtocolSpec RBR game glue [ABF26 split 1/4] - #668

Open
alexanderlhicks wants to merge 13 commits into
mainfrom
feat/abf26-split-framework
Open

feat(oracle-reduction): worst-case round-by-round security + ProtocolSpec RBR game glue [ABF26 split 1/4]#668
alexanderlhicks wants to merge 13 commits into
mainfrom
feat/abf26-split-framework

refactor: split RbrGame.lean along the ToVCVio boundary

c522a7b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar