Skip to content

formal: record the deployed circuit sizes (7 / 53) and anchor them to the runtime wasm - #209

Open
n13 wants to merge 1 commit into
n13/rt153-basefrom
n13/formal-rt153
Open

formal: record the deployed circuit sizes (7 / 53) and anchor them to the runtime wasm#209
n13 wants to merge 1 commit into
n13/rt153-basefrom
n13/formal-rt153

formal: record the deployed circuit sizes and anchor them to the runt…

7c77311
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar