Skip to content

chore: add jmtspec proof spec definition to go impl#388

Draft
damiannolan wants to merge 1 commit intomasterfrom damian/add-jmt-proof-specs