generate_arc4.py
verify_arc4.go