Skip to content

Implemented changes to attestations based on LeanSpec commit #234#37

Open
nsannn wants to merge 2 commits intodevnet-2from
simplify-attestation
Open

Implemented changes to attestations based on LeanSpec commit #234#37
nsannn wants to merge 2 commits intodevnet-2from
simplify-attestation