 x
|
9785777642
chore: Update copyright license year
|
7 tháng trước cách đây |
 parazyd
|
604f443fd1
chore: Update license header year
|
1 năm trước cách đây |
|
zero
|
4532b8d229
for most .zk proofs, provide a corresponding witness.json file which is usable with zkrunner, benchmarks and other utils (using import_witness_json()).
|
2 năm trước cách đây |
|
parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
2 năm trước cách đây |
|
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.
|
3 năm trước cách đây |
|
x
|
f3a6672bfb
zk: add debug tracer
|
3 năm trước cách đây |
|
parazyd
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
3 năm trước cách đây |
|
parazyd
|
8ac1d17077
Use k param from ZkBinary when building VerifyingKey and ProvingKey.
|
3 năm trước cách đây |
|
Dastan-glitch
|
12c628efdb
zk: use reference instead of cloning
|
3 năm trước cách đây |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
3 năm trước cách đây |
|
aggstam
|
5044141b24
fmt
|
3 năm trước cách đây |
|
aggstam
|
4dadf292ec
fmt, fixed broken imports, general cleanup
|
3 năm trước cách đây |
|
x
|
93752a0b74
Merge branch 'dao-contract'
|
3 năm trước cách đây |
|
x
|
22c5ed1fef
fix broken example/zk.rs
|
3 năm trước cách đây |
|
parazyd
|
71cd3064d6
Update license year.
|
3 năm trước cách đây |
|
parazyd
|
d7ee8f3e0c
Update calls throughout repository for latest darkfi-sdk changes.
|
3 năm trước cách đây |
|
parazyd
|
8ae84ad7f9
Add license header to source files.
|
3 năm trước cách đây |
|
parazyd
|
6215fc7bd6
zk: Port code to latest Halo2 API.
|
4 năm trước cách đây |
|
ghassmo
|
d7775c210b
run cargo fmt
|
4 năm trước cách đây |
|
parazyd
|
587f0b4b93
make fix and minor manual cleanups.
|
4 năm trước cách đây |
|
parazyd
|
f8c2ee5617
Port codebase to latest halo2 API.
|
4 năm trước cách đây |
|
narodnik
|
29a9182010
simple zk contract example
|
4 năm trước cách đây |
