viaduct
0.3.0
interpreter
/
io.github.aplcornell.viaduct.backend.zkp
/
R1CS
/
verifyProof
verify
Proof
fun
verifyProof
(
vk
:
ByteBuf
,
pf
:
ByteBuf
)
:
Boolean