TritonVM / tasm-lang

Writing tasm with Rust syntax
15 stars 2 forks source link

Add support for `xfe - bfe` #66

Closed Sword-Smith closed 4 months ago

Sword-Smith commented 4 months ago

Add native support for subtracting a BFieldElement from an XFieldElement.