 therealyingtong
|
10eb8eb6a3
zk::gadget::native_range_check: Always strict
|
hace 3 años |
 x
|
44b882859e
add module zk::debug, and move export_witness_json() and zkas_type_checks() inside it.
|
hace 3 años |
|
x
|
900e8f14c0
ZkCircuit add type checking for witness and public inputs (unfinished)
|
hace 3 años |
|
parazyd
|
ddcf6078a7
zk/vm: Replace From<HeapVar> with TryFrom<HeapVar>
|
hace 3 años |
|
x
|
37bd0ccdf4
zk tracer: add a bool pass through instead of using if let idiom. As a consequence we change weaker matches into stronger unwraps.
|
hace 3 años |
|
x
|
f3a6672bfb
zk: add debug tracer
|
hace 3 años |
|
x
|
41197407bf
replace .iter().map(|x| x.clone()).collect() with .clone()
|
hace 3 años |
|
parazyd
|
6f95bb156f
zk/gadget: Make small_range_check field-agnostic.
|
hace 3 años |
|
parazyd
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
hace 3 años |
|
parazyd
|
e049fb47cc
zk/vm: Stub dynamic params.
|
hace 3 años |
|
parazyd
|
135283a31c
zk/vm: Initialize chips as options, which are Some when available.
|
hace 3 años |
|
parazyd
|
385f6fe857
zk/vm: cargo fmt
|
hace 3 años |
|
parazyd
|
5a10d631e3
zk/vm: Add scaffolding for circuit optimisation.
|
hace 3 años |
|
parazyd
|
3cfee55f23
zk: Update to halo2 with dynamic circuit config and implement ProvingKey serialization.
|
hace 3 años |
|
parazyd
|
281aa87faf
zk/vm: Implement zero_cond opcode.
|
hace 3 años |
|
parazyd
|
e684748f2a
zk/vm: Add constrain_constant calls to literal witnessing and constant one.
|
hace 3 años |
|
parazyd
|
4824c84cb5
sdk-py: Minor cleanups
|
hace 3 años |
|
parazyd
|
badcb123d3
sdk-py: Move to src/sdk/python
|
hace 3 años |
|
freerangedev
|
46ed0a24b0
sdk-py: Add ZkCircuit, Proof, ProvingKey, VerifiyingKey, ZkBinary
|
hace 3 años |
|
parazyd
|
f4932072c6
zkvm: Implement cond_select opcode.
|
hace 3 años |
|
parazyd
|
a326a67901
zkas: Add basic debug prints
|
hace 3 años |
|
parazyd
|
84a7762e96
book: Add high-level doc on zkVM.
|
hace 3 años |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
hace 3 años |
|
parazyd
|
d0f87894fa
zk/gadget: Generalize Arithmetic chip over fields.
|
hace 3 años |
|
x
|
155e7473a4
fix various warnings and general cleanup
|
hace 3 años |
|
x
|
5702976798
cleanup logging project wide
|
hace 3 años |
|
parazyd
|
71cd3064d6
Update license year.
|
hace 3 años |
|
parazyd
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
hace 3 años |
|
parazyd
|
03f94e7279
zkvm: Constant logging target
|
hace 3 años |
|
parazyd
|
64aaaa8dd9
zk/vm: Use trace loglevel instead of debug.
|
hace 3 años |
