-
Dal: Test refutation proofs II 0 of 6 checklist items completed
-
Tests,DAL: dal proof's encoding boundary and clarification 0 of 6 checklist items completed
-
-
[postponed] Proto/Dal: add confirmed_level field in Dal slot headers 0 of 6 checklist items completed
-
Use Start_of_level to import DAL pages in PVM Arith 0 of 6 checklist items completed
-
[Dal] - Simple refactoring for endorsements 0 of 6 checklist items completed
-
Dal: cryptobox uses error monad 0 of 6 checklist items completed
-
Draft: [POC] WIP: extend SCORU refutation with DAL messages 0 of 6 checklist items completed
-
Draft: Proto/DAL: start taking confirmed slots info in SCORU refutation game 0 of 6 checklist items completed
-
-
Draft: Dal/Node: tezt daemon and long test for slot management RPCs 5 of 6 checklist items completed
-
-