| .. |
|
base_add.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
base_mul.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
base_sub.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
bool_check.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
cond_select.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
constrain_equal_base.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
constrain_equal_point.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
constrain_instance.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
debug.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
ec_add.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
ec_get_x.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
ec_get_y.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
ec_mul.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
ec_mul_base.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
ec_mul_short.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
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
|
пре 9 месеци |
|
less_than_loose.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
less_than_strict.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
merkle_root.zk
|
574695f034
script/research/zkvm-metering: fix merkle_root opcode zk proof, k = 11 can be used and this changes the proof size and verifying key size
|
пре 8 месеци |
|
poseidon_hash.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
range_check.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
sparse_merkle_root.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
witness_base.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
|
zero_cond.zk
|
52461e3fd2
script/research/zkvm-metering: tools to generate and verify zk proofs containing single zkvm opcodes for resource usage measurement
|
пре 9 месеци |
oars
574695f034
script/research/zkvm-metering: fix merkle_root opcode zk proof, k = 11 can be used and this changes the proof size and verifying key size