chore: Upgrade to TVM 0.41.0

TritonVM / tasm-lib

A collection of functions written in Triton VM assembly (tasm)

Apache License 2.0

11 stars 2 forks source link

Closed Sword-Smith closed 4 months ago

Sword-Smith commented 4 months ago

Fix verifier for this new version. Assuming that the suggested fix proposed in https://github.com/TritonVM/triton-vm/issues/268, or something similar, is implemented.

Consider this PR a way to speed up your work.

You probably shouldn't merge this PR since:

it points to a local version of Triton VM
The indeterminate for barycentric evaluation is sampled at an awkward point for the verifier. Changing this, requires a change to TVM though.

aszepieniec commented 4 months ago

Merged in e9d99a3dbd70ab1aa41986a66b237646abfacf67.