 aggstam
|
ec10550a68
darkfid2: enabled p2p nets
|
3 years ago |
|
parazyd
|
e049fb47cc
zk/vm: Stub dynamic params.
|
3 years ago |
|
parazyd
|
135283a31c
zk/vm: Initialize chips as options, which are Some when available.
|
3 years ago |
|
parazyd
|
385f6fe857
zk/vm: cargo fmt
|
3 years ago |
|
parazyd
|
5a10d631e3
zk/vm: Add scaffolding for circuit optimisation.
|
3 years ago |
|
lunar-mining
|
5285cf962f
doc/ learn: improve wording on cryptography researcher section
|
3 years ago |
|
parazyd
|
c6140e6558
tests: Initial example of dynamic circuit configuration.
|
3 years ago |
|
parazyd
|
d34b9cbb03
chore: Update crate dependencies
|
3 years ago |
|
aggstam
|
58556db990
contract/test-harness/vks: updated VKS-PKS hashes
|
3 years ago |
|
parazyd
|
8ac1d17077
Use k param from ZkBinary when building VerifyingKey and ProvingKey.
|
3 years ago |
|
parazyd
|
8a4fec6745
zkas: Enforce MAX_K and MAX_NS_LEN.
|
3 years ago |
|
parazyd
|
3d5896b89b
contract/money: Replace token pedersen commitment with a poseidon hash.
|
3 years ago |
|
parazyd
|
a701d40a84
darkirc: Remove unused dependencies.
|
3 years ago |
|
parazyd
|
de2c61e81b
CI: Reenable OSX builds.
|
3 years ago |
|
aggstam
|
0cc61ccaa9
validator/proto: BlockInfo protocol added
|
3 years ago |
|
aggstam
|
9d8addf3a3
tests/blockchain: updated test
|
3 years ago |
|
aggstam
|
56130e1699
validator: improved log targets
|
3 years ago |
|
aggstam
|
d9eed23013
blockchain: simplyfied Slot structure
|
3 years ago |
|
parazyd
|
a1bfd10a7d
contract/test-harness: Revert to using a single reference for ProvingKey map.
|
3 years ago |
|
aggstam
|
53cdc50e15
chore: clippy
|
3 years ago |
|
Dastan-glitch
|
ea10c80b3c
tests: halo2_vk_ser missing argument while VerifyingKey
|
3 years ago |
|
Dastan-glitch
|
12c628efdb
zk: use reference instead of cloning
|
3 years ago |
|
Dastan-glitch
|
28ad81da46
zk: CI fix - implement missing Params
|
3 years ago |
|
parazyd
|
05991cda50
contract/test-harness: Use precompiled zk proving keys
|
3 years ago |
|
parazyd
|
3cfee55f23
zk: Update to halo2 with dynamic circuit config and implement ProvingKey serialization.
|
3 years ago |
|
parazyd
|
29101c4e02
zk: Pass a ZkBinary reference to ZkCircuit::new instead of cloning.
|
3 years ago |
|
parazyd
|
99f68db953
zkas: Enforce k declaration on top of the source file.
|
3 years ago |
|
parazyd
|
8d07dc2258
chore: Update crate dependencies
|
3 years ago |
|
aggstam
|
37d7461a53
contract/money/tests.mint_pay_swap: fixed test
|
3 years ago |
|
aggstam
|
7c6a2b912c
chore: minor cleanup
|
3 years ago |
