search

ku-sldg / copland-avm

Copland Attestation Virtual Machine definition and tools
3 stars 3 forks source link

CVM Executability Proofs #35

Closed Durbatuluk1701 closed 1 year ago

Durbatuluk1701 commented 1 year ago

This PR includes many changes. This closes #11 , #12 , #15 , and #17 .