Thv/stark verify return next pointer

TritonVM / tasm-lib

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

Apache License 2.0

11 stars 2 forks source link

Thv/stark verify return next pointer #126

Closed Sword-Smith closed 3 weeks ago

Sword-Smith commented 3 weeks ago

My suggestion about how to get the pointer to the next proof when verifying multiple STARK proofs

Sword-Smith commented 3 weeks ago

Closed in favor of 27a758c55e8ef4a3882a98f7eae5dd0fdf1297e7

We decided to leave the signature of stark_verify as is, since we'd like the same signature as the Stark::verify method in triton-vm. In triton-vm (i.e., the host machine version) this method returns a Result but an Error type on the host machine is interpreted as a VM crash when the program is executed in triton-vm context.