Skip to content

Refactor variables in verifier backend so that they are just Names … #1871

Refactor variables in verifier backend so that they are just Names …

Refactor variables in verifier backend so that they are just Names … #1871