Constants§
- EVM_
HALO2_ VERIFIER_ BASE_ NAME - EVM_
HALO2_ VERIFIER_ INTERFACE_ NAME - EVM_
HALO2_ VERIFIER_ PARENT_ NAME - EVM_
VERIFIER_ ARTIFACT_ FILENAME
Functions§
- decode_
from_ file - encode_
to_ file - read_
agg_ halo2_ pk_ from_ file - read_
agg_ stark_ pk_ from_ file - read_
app_ pk_ from_ file - read_
app_ proof_ from_ file - read_
app_ vk_ from_ file - read_
evm_ halo2_ verifier_ from_ folder - read_
evm_ proof_ from_ file - read_
exe_ from_ file - read_
from_ file_ bitcode - read_
from_ file_ bytes - read_
from_ file_ json - read_
object_ from_ file - read_
root_ verifier_ input_ from_ file - write_
agg_ halo2_ pk_ to_ file - write_
agg_ stark_ pk_ to_ file - write_
app_ pk_ to_ file - write_
app_ proof_ to_ file - write_
app_ vk_ to_ file - write_
evm_ halo2_ verifier_ to_ folder - Writes three Solidity contracts into the following folder structure:
- write_
evm_ proof_ to_ file - write_
exe_ to_ file - write_
object_ to_ file - write_
root_ verifier_ input_ to_ file - write_
to_ file_ bitcode - write_
to_ file_ bytes - write_
to_ file_ json