Add constants support - Githubissues

TritonVM / tasm-lang

Writing tasm with Rust syntax

15 stars 2 forks source link

Open Sword-Smith opened 6 months ago

Sword-Smith commented 6 months ago

Our recursive verifier code has too many magic constants. This problem is worth the effort now. Just do it!