 zero
|
c5166445d7
smt: get it working with the WASM, and add it to money contract for nullifiers. Summary of changes:
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
df1f9e744b
Merge branch 'smt2'
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
11e39f07cf
mv smt2 smt
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
ba60fc05f3
switch zkVM to new SMT gadget
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
e97ade3c9d
SMT2 ZK gadget
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
5d9c465b3e
doc: update DEP-0001
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
b7c11c2bed
net: implement DEP-0001
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
b9edcc6077
channel: expand ChannelInfo to include resolve_addr and connect_addr
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
137eef25b7
doc: fmt and add dev NOTEs
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
b1cfbda94b
hosts: remove useless Result<> on subscribe_store
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
d160e96161
net: gather unused channel_subscriber's into a single channel_subscriber in Hosts
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
9bcb691c65
contrib: add dchatd localnet for minimal net testing
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
0f5fcba2c2
net: add `last_connection` timer to more empirically track connection status
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
030d532222
smt2: replace generic_const_exprs unstable rust feature with temp workaround that can easily be changed once the feature exists in rust proper
|
%!s(int64=2) %!d(string=hai) anos |
|
parazyd
|
1c163c546b
darkirc: Preliminary services implementation
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
907f2f6e7f
zk/native_range_check: add code comments
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
fbbd9c5b2e
WIP refactor of SMT
|
%!s(int64=2) %!d(string=hai) anos |
|
skoupidi
|
98ec24720c
chore: fmt
|
%!s(int64=2) %!d(string=hai) anos |
|
skoupidi
|
b2d2c7a4e8
chore: fmt
|
%!s(int64=2) %!d(string=hai) anos |
|
parazyd
|
e607236337
Makefile: Remove PROOFS_BIN on make clean
|
%!s(int64=2) %!d(string=hai) anos |
|
hishope
|
bd456cb839
chore: fix some typos
|
%!s(int64=2) %!d(string=hai) anos |
|
holisticode
|
6b1f75b0e8
fix link to dev section
|
%!s(int64=2) %!d(string=hai) anos |
|
cheeese
|
0aad2dfb06
zkas/parser: add check for function to be a symbol
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
00582c94a7
chore: remove deceptive comment in lilith whitelist refinery
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
ff6b2a3962
net: don't write test files to harddisk
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
a123826d22
net: cleanup and add documentation
|
%!s(int64=2) %!d(string=hai) anos |
|
dasman
|
4b28b79e5d
doc: update tau doc
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
db67d3bdf0
fix broken smt tests
|
%!s(int64=2) %!d(string=hai) anos |
|
zero
|
f92b55d16e
smt: add terminology doc
|
%!s(int64=2) %!d(string=hai) anos |
|
draoi
|
24212a6f77
net: enable offline reconnect
|
%!s(int64=2) %!d(string=hai) anos |
