What exactly is taps? #729
Answered
by
pdg744
yuqilin1988
asked this question in
Q&A
-
Hi everyone, I'm a newcomer. What exactly is taps? The comment says that taps are automatically generated. What should I do to generate this code? |
Beta Was this translation helpful? Give feedback.
Answered by
pdg744
Sep 10, 2023
Replies: 1 comment
-
A We don't currently support an option for users to generate this code. |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
pdg744
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
A
tap
is a tuple(n,t)
that serves as a (relative) reference to a location in the execution trace.Here
n
identifies a column in the trace andt
describes how many steps forward/backward to look.Full details are here: https://dev.risczero.com/proof-system-in-detail.pdf
We don't currently support an option for users to generate this code.