Commit Graph

23 Commits

Author SHA1 Message Date
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