ARC-0004: Flagged ops#90

Open

bendyarm wants to merge 7 commits intoProvableHQ:masterfrom

bendyarm:flagged-ops-2

Commits on Mar 26, 2025

[arc-0004] remove commit.bhp* hash.bhp* commit.ped* and hash.ped* from the list of current halting opcodes
bendyarm
committed

Commits on Apr 23, 2025

[arc-0004] add small section on auditing and formal verification
bendyarm
committed