 x
|
3aa0e3b722
zkas: Implement debug symbols in the compiled binary
|
hai 7 meses |
|
x
|
9785777642
chore: Update copyright license year
|
hai 7 meses |
 parazyd
|
604f443fd1
chore: Update license header year
|
hai 1 ano |
|
zero
|
898ed02880
zkrunner: if (value := foo) can wrongly be false if value is 0, so be explicit with "is not None"
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
b2d29aaa0a
sdk/python: add missing SparseMerklePath
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
48d23df367
create zkrender tool to plot circuit layouts
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
74b7d2f7b8
py: Proof.create() return None when failing rather than use .unwrap()
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
9d33a10a0b
use proper FuncIds to ref contract funcs such as spend_hook in money
|
%!s(int64=2) %!d(string=hai) anos |
|
parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
%!s(int64=2) %!d(string=hai) anos |
|
x
|
1b35330082
zkrunner/pydrk: add --trace argument to zkrunner, and appropriate changes to the py bindings.
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
2483d088d6
zkrunner: Support reading witness data from stdin
|
%!s(int64=3) %!d(string=hai) anos |
|
parazyd
|
7f53e92516
zkrunner: Perform a rewrite with the cleaned up python bindings.
|
%!s(int64=3) %!d(string=hai) anos |
|
x
|
10a371269d
zkrunner: update comments
|
%!s(int64=3) %!d(string=hai) anos |
|
x
|
ae9801fce1
zkrunner: update README.md
|
%!s(int64=3) %!d(string=hai) anos |
|
x
|
f56c3951dc
zkrunner: Use set_v1.zk as example instead
|
%!s(int64=3) %!d(string=hai) anos |
|
x
|
3529519855
zkrunner: Clean up logs and support zkbin.k()
|
%!s(int64=3) %!d(string=hai) anos |
|
freerangedev
|
d4a7ce140f
zkrunner: Rename pubins
|
%!s(int64=3) %!d(string=hai) anos |
|
freerangedev
|
9092a58dad
zkrunner: yapf formatting
|
%!s(int64=3) %!d(string=hai) anos |
|
freerangedev
|
9912167686
zkrunner: API and style refactoring
|
%!s(int64=3) %!d(string=hai) anos |
|
freerangedev
|
ccff4b250f
zkrunner: Add previous work
|
%!s(int64=3) %!d(string=hai) anos |
