github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-01-07 22:04:03 -05:00
Code Issues Packages Projects Releases Wiki Activity
10,744 Commits 6 Branches 11 Tags
master
Commit Graph

28 Commits

Author SHA1 Message Date
x
3aa0e3b722 zkas: Implement debug symbols in the compiled binary 2026-01-07 09:22:55 +00:00
x
9785777642 chore: Update copyright license year 
Happy 2026!
 2026-01-01 11:40:45 +00:00
parazyd
604f443fd1 chore: Update license header year 2025-01-24 10:36:02 +01:00
skoupidi
080417bb3f chore: replaced all MerkleTree::new(100) with MerkleTree::new(1) for consistency 2024-04-27 16:02:36 +03:00
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()). 2024-03-27 11:30:04 +01:00
parazyd
47e9d68ef1 sdk/crypto: Forbid PublicKey to ever be the identity point 2024-02-20 15:47:34 +01:00
zero
2094274851 add a Blind type to the SDK, which is used in all bullas as the explicit blinding factor. 2024-02-08 15:24:51 +01:00
zero
7ada52b28b rename mod_r_p() -> fp_mod_fv(), and mod_p_r_unsafe() -> fv_mod_fp_unsafe() 2024-01-23 16:36:19 +01:00
parazyd
0e6f51e895 chore: Update copyright year in license headers 2024-01-16 13:07:22 +01:00
parazyd
0c7dbc4460 zk/vm: Implement first part of conditional chip selection. 
Signed-off-by: parazyd <parazyd@dyne.org>
 2023-07-22 16:22:26 +02:00
parazyd
8ac1d17077 Use k param from ZkBinary when building VerifyingKey and ProvingKey. 2023-07-22 12:04:41 +02:00
parazyd
29101c4e02 zk: Pass a ZkBinary reference to ZkCircuit::new instead of cloning. 2023-07-20 14:19:52 +02:00
parazyd
5d9a954235 tests: Extend zkvm tests for zero_cond opcode. 2023-07-08 11:12:57 +02:00
parazyd
8257d7cdbe sdk: Replace incrementalmerkletree with bridgetree crate. 2023-06-12 14:31:19 +02:00
parazyd
f4932072c6 zkvm: Implement cond_select opcode. 2023-05-27 15:35:48 +02:00
parazyd
411d25aa85 Use patched halo2_gadgets project-wide. 2023-05-10 16:17:29 +02:00
parazyd
bd6a6bfaf2 zkas: Rename "stack" to "heap". 
"stack" is a misnomer, and the behavior of the zkVM is more heap-like
than stack-like when doing an analogy with general computing.
 2023-05-10 14:35:51 +02:00
parazyd
fa260e822c Update halo2 dependency which employs https://github.com/zcash/halo2/pull/646 2023-05-10 14:10:04 +02:00
parazyd
71cd3064d6 Update license year. 2022-12-28 13:06:00 +01:00
parazyd
3cedf88cdc contract/dao: Initial integration tests setup. 2022-12-16 15:38:08 +01:00
parazyd
1c8feadcb6 zkas: Implement EcNiPoint type and EcMulVarBase opcode. 2022-12-16 14:11:59 +01:00
parazyd
88caee7f42 Update and clean up dependencies. 2022-12-13 15:19:09 +01:00
parazyd
1d7866f688 Update crate dependencies. 2022-11-29 13:54:05 +01:00
parazyd
d7ee8f3e0c Update calls throughout repository for latest darkfi-sdk changes. 2022-11-07 01:42:39 +01:00
parazyd
8ae84ad7f9 Add license header to source files. 2022-10-31 18:16:13 +01:00
Luther Blissett
62d1f06c1f Update imports for type migrations. 2022-10-17 00:34:34 +02:00
Luther Blissett
9865b21a28 crypto: Stricter API for nullifier and secretkey. 2022-10-14 02:29:51 +02:00
Luther Blissett
a24d9db8e9 tests: Add test units to test all zkvm opcodes. 
TODO: Test failures.
 2022-08-29 22:41:23 +02:00