| .. |
|
base_add.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
base_mul.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
base_sub.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
bool_check.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
cond_select.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
constrain_equal_base.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
constrain_equal_point.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
constrain_instance.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
debug.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
ec_add.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
ec_get_x.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
ec_get_y.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
ec_mul.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
ec_mul_base.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
ec_mul_short.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
ec_mul_var_base.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
less_than_loose.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
less_than_strict.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
merkle_root.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
poseidon_hash.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
range_check.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
sparse_merkle_root.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
witness_base.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
|
zero_cond.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
8 months ago |
oars
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement