 aggstam
|
c7b7c2dd11
contract/test-harness/vks: updated VKS_HASH
|
преди 3 години |
|
parazyd
|
5d9a954235
tests: Extend zkvm tests for zero_cond opcode.
|
преди 3 години |
|
parazyd
|
281aa87faf
zk/vm: Implement zero_cond opcode.
|
преди 3 години |
|
parazyd
|
f001cb05d1
zk/gadget: Implement `f(a,b) = if a==0 {a} else {b}` as zero_cond chip.
|
преди 3 години |
|
parazyd
|
a32b718d0d
zk/gadget: Remove unused code from cond_select.
|
преди 3 години |
|
aggstam
|
17415a3d21
validator: use new pid
|
преди 3 години |
|
aggstam
|
9712efdfb1
validator/consensus/pid: sigmas caclulation foundation
|
преди 3 години |
|
aggstam
|
26809109ce
script/research/lotterysim/pid/pid.md: further fixed total tokens calculation
|
преди 3 години |
|
aggstam
|
86c9f36aff
script/research/lotterysim/pid/pid.md: further simplyfied total tokens calculation
|
преди 3 години |
|
aggstam
|
8415d6e522
script/research/lotterysim/pid/pid.md: updated total_tokens() calculation
|
преди 3 години |
|
aggstam
|
722a80b510
script/research/lotterysim/pid: pid.md rewrite spec added
|
преди 3 години |
|
ertosns
|
71e0107ca2
gitignore rusty tags
|
преди 3 години |
|
aggstam
|
ff9c1d1998
doc/testnet/node: correct subscribe command
|
преди 3 години |
|
aggstam
|
b21e787319
error: restore missing error
|
преди 3 години |
|
parazyd
|
a654341ea4
Remove some unnecessary dependencies.
|
преди 3 години |
|
parazyd
|
4ec2bcd815
fixup! Replace bundled-sqlcipher with bundled-sqlcipher-vendored-openssl
|
преди 3 години |
|
parazyd
|
e9debbe12e
Replace bundled-sqlcipher with bundled-sqlcipher-vendored-openssl
|
преди 3 години |
 x
|
85d837a1e7
add ping-pong timeout when remote host doesn't reply back in time.
|
преди 3 години |
|
ertosns
|
fc012bb2c4
[research/lotterysim] update cascade report with pi vs pid, and pi scripts
|
преди 3 години |
|
aggstam
|
2762ac41af
script/research/blockchain-explorer: updated to latest structs
|
преди 3 години |
|
aggstam
|
9758c6c01f
repo: fixed tests
|
преди 3 години |
|
aggstam
|
997f6015cf
repo: updated all bins to use new signals handling
|
преди 3 години |
|
aggstam
|
a63a808992
util/cli/async_daemonize: use log_file to explicitly write to, impl signal handler using async signal hooks
|
преди 3 години |
|
parazyd
|
6c0b5ea2bb
chore: Try building with bundled libsqlite
|
преди 3 години |
|
parazyd
|
23b8ee1ca2
chore: Update Arti dependency.
|
преди 3 години |
|
parazyd
|
232cc174cf
taud: Cleanly stop p2p network on term signal.
|
преди 3 години |
|
parazyd
|
cebb24549c
taud: Inform about undecryptable tasks only in the debug loglevel.
|
преди 3 години |
|
Dastan-glitch
|
c8b344a582
update generate_seminar_ics.py
|
преди 3 години |
|
Dastan-glitch
|
389ac27501
bin/darkirc: [taubot] fix plus sign issue in skipping tag
|
преди 3 години |
|
parazyd
|
8b1042ce17
net/protocol/ping: Correct pong debug message.
|
преди 3 години |
