 x
|
3aa0e3b722
zkas: Implement debug symbols in the compiled binary
|
il y a 7 mois |
|
x
|
9785777642
chore: Update copyright license year
|
il y a 7 mois |
 parazyd
|
604f443fd1
chore: Update license header year
|
il y a 1 an |
|
skoupidi
|
080417bb3f
chore: replaced all MerkleTree::new(100) with MerkleTree::new(1) for consistency
|
il y a 2 ans |
|
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()).
|
il y a 2 ans |
|
parazyd
|
47e9d68ef1
sdk/crypto: Forbid PublicKey to ever be the identity point
|
il y a 2 ans |
|
zero
|
2094274851
add a Blind type to the SDK, which is used in all bullas as the explicit blinding factor.
|
il y a 2 ans |
|
zero
|
7ada52b28b
rename mod_r_p() -> fp_mod_fv(), and mod_p_r_unsafe() -> fv_mod_fp_unsafe()
|
il y a 2 ans |
|
parazyd
|
0e6f51e895
chore: Update copyright year in license headers
|
il y a 2 ans |
|
parazyd
|
0c7dbc4460
zk/vm: Implement first part of conditional chip selection.
|
il y a 3 ans |
|
parazyd
|
8ac1d17077
Use k param from ZkBinary when building VerifyingKey and ProvingKey.
|
il y a 3 ans |
|
parazyd
|
29101c4e02
zk: Pass a ZkBinary reference to ZkCircuit::new instead of cloning.
|
il y a 3 ans |
|
parazyd
|
5d9a954235
tests: Extend zkvm tests for zero_cond opcode.
|
il y a 3 ans |
|
parazyd
|
8257d7cdbe
sdk: Replace incrementalmerkletree with bridgetree crate.
|
il y a 3 ans |
|
parazyd
|
f4932072c6
zkvm: Implement cond_select opcode.
|
il y a 3 ans |
|
parazyd
|
411d25aa85
Use patched halo2_gadgets project-wide.
|
il y a 3 ans |
|
parazyd
|
bd6a6bfaf2
zkas: Rename "stack" to "heap".
|
il y a 3 ans |
|
parazyd
|
fa260e822c
Update halo2 dependency which employs https://github.com/zcash/halo2/pull/646
|
il y a 3 ans |
|
parazyd
|
71cd3064d6
Update license year.
|
il y a 3 ans |
|
parazyd
|
3cedf88cdc
contract/dao: Initial integration tests setup.
|
il y a 3 ans |
|
parazyd
|
1c8feadcb6
zkas: Implement EcNiPoint type and EcMulVarBase opcode.
|
il y a 3 ans |
|
parazyd
|
88caee7f42
Update and clean up dependencies.
|
il y a 3 ans |
|
parazyd
|
1d7866f688
Update crate dependencies.
|
il y a 3 ans |
|
parazyd
|
d7ee8f3e0c
Update calls throughout repository for latest darkfi-sdk changes.
|
il y a 3 ans |
|
parazyd
|
8ae84ad7f9
Add license header to source files.
|
il y a 3 ans |
|
Luther Blissett
|
62d1f06c1f
Update imports for type migrations.
|
il y a 3 ans |
|
Luther Blissett
|
9865b21a28
crypto: Stricter API for nullifier and secretkey.
|
il y a 3 ans |
|
Luther Blissett
|
a24d9db8e9
tests: Add test units to test all zkvm opcodes.
|
il y a 3 ans |
