Get FRI proof from STARK proof #258
Comments
Sword-Smith
added a commit
to TritonVM/tasm-lang
that referenced
this issue
Mar 16, 2024
This functionality might belong in the Triton VM repository. See <TritonVM/triton-vm#258> for thoughts about this problem.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It would be very convenient if it was somehow possible to extract a FRI proof, or probably a FRI proof stream from a STARK proof (or a STARK proof stream).
I wrote this functionality in order to be able to derive the correct non-deterministic digests from a STARK-proof. So I guess it's possible to think of this problem in a more generic way: Is it possible to derive
NonDeterminismfrom a STARK proof? This derivedNonDeterminismwould of course be specific to a function (Programin the TASM sense) since each program can decide where to get its cryptographic data: from initialized memory, from thedigestsinput, or from theindividual_tokensinput. So perhaps it actually belongs wherever the relevant program is being written? In that case, this functionality belongs intasm-langwhere we are currently developing the recursive verifier.See 404b1688 for my current work-around to this problem.
The text was updated successfully, but these errors were encountered: