search

TritonVM / triton-vm

Triton is a virtual machine that comes with Algebraic Execution Tables (AET) and Arithmetic Intermediate Representations (AIR) for use in combination with a STARK proof system.
https://triton-vm.org
Apache License 2.0
241 stars 36 forks source link

Can the `bfe!`/`xfe!` macros produce `const` values? #260

Closed Sword-Smith closed 6 months ago

Sword-Smith commented 6 months ago

Would be convenient for this code: 

pub const FIRST_PROOF_ITEM_ELEMENT_POINTER: BFieldElement = BFieldElement::new(2);
jan-ferdinand commented 6 months ago

This issue belongs firmly in twenty-first. :blush:

jan-ferdinand commented 6 months ago

That said: what's wrong with calling BFieldElement::new?