Home | History | Annotate | Download | only in analysis

Lines Matching full:steps

1886 Not only can we skip many of the fancy steps in the verifier, we can