Replies: 1 comment
-
Ok, so i've been poking around a bit, and I think I found out how to discover the length of the trace from the proof object itself. Is this (quickly thrown together) code roughly correct?
If this is actually correct, is the length "checked" in the sense that it cannot be incorrect without the proof failing to verify with very high probability? Thanks! |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hi all,
I have a couple questions. First of all, I see that the cycle count that you can get from
env
is not checked; is there a way to get a checked cycle count? Alternatively, is there a way to tell how long the trace was from the proof receipt itself?Second, is there a way (possibly non-public) to access the trace that the prover uses?
Thanks and have a great weekend
Patrick
Beta Was this translation helpful? Give feedback.
All reactions