See the minisig repo.

Setup

• docker pull wolflo0/kevm:3efa855
• docker run -it -v ${PWD}:/home/user/specs wolflo0/kevm:3efa855

Alternatively, you can build K and Kevm locally or install from a release build.

Proving a spec

• make prove spec=specs/msig-spec-nonce.k to prove the spec in specs/msig-spec-nonce.k
• make prove-all to prove all of the specs