viaduct
0.3.0
compiler
/
io.github.aplcornell.viaduct.backends.zkp
/
ZKP
/
ZKP
ZKP
fun
ZKP
(
prover
:
Host
,
verifiers
:
Set
<
Host
>
)