github/darkfi
1
1
Fork 0
mirror of https://github.com/darkrenaissance/darkfi.git synced 2026-01-08 22:28:12 -05:00
Code Issues Packages Projects Releases Wiki Activity

add a Blind type to the SDK, which is used in all bullas as the explicit blinding factor.

Browse Source
This commit is contained in:
zero
2024-02-08 15:24:07 +01:00
parent 2ce7f38880
commit 2094274851
39 changed files with 318 additions and 235 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
tests/halo2_vk_ser.rs
View File

@@ -18,7 +18,7 @@
use std::io::Cursor;
use darkfi_sdk::crypto::{
pedersen::pedersen_commitment_u64, util::fp_mod_fv, MerkleNode, MerkleTree, PublicKey,
pedersen::pedersen_commitment_u64, util::fp_mod_fv, Blind, MerkleNode, MerkleTree, PublicKey,
SecretKey,
};
use halo2_gadgets::poseidon::{
@@ -88,7 +88,7 @@ fn halo2_vk_ser() -> Result<()> {
let pk = ProvingKey::build(zkbin.k, &circuit);
let value = 666_u64;
let value_blind = pallas::Scalar::random(&mut OsRng);
let value_blind = Blind::random(&mut OsRng);
let blind = pallas::Base::random(&mut OsRng);
let secret = pallas::Base::random(&mut OsRng);
let a = pallas::Base::from(42);
@@ -120,7 +120,7 @@ fn halo2_vk_ser() -> Result<()> {
let (ephem_x, ephem_y) = PublicKey::from(pubkey * fp_mod_fv(ephem_secret.inner())).xy();
let prover_witnesses = vec![
Witness::Base(Value::known(pallas::Base::from(value))),
Witness::Scalar(Value::known(value_blind)),
Witness::Scalar(Value::known(value_blind.inner())),
Witness::Base(Value::known(blind)),
Witness::Base(Value::known(a)),
Witness::Base(Value::known(b)),

6
tests/zkvm_opcodes.rs
View File

@@ -17,7 +17,7 @@
*/
use darkfi_sdk::crypto::{
pedersen::pedersen_commitment_u64, util::fp_mod_fv, MerkleNode, MerkleTree, PublicKey,
pedersen::pedersen_commitment_u64, util::fp_mod_fv, Blind, MerkleNode, MerkleTree, PublicKey,
SecretKey,
};
use halo2_gadgets::poseidon::{
@@ -50,7 +50,7 @@ fn zkvm_opcodes() -> Result<()> {
// Values for the proof
let value = 666_u64;
let value_blind = pallas::Scalar::random(&mut OsRng);
let value_blind = Blind::random(&mut OsRng);
let blind = pallas::Base::random(&mut OsRng);
let secret = pallas::Base::random(&mut OsRng);
let a = pallas::Base::from(42);
@@ -83,7 +83,7 @@ fn zkvm_opcodes() -> Result<()> {
let prover_witnesses = vec![
Witness::Base(Value::known(pallas::Base::from(value))),
Witness::Scalar(Value::known(value_blind)),
Witness::Scalar(Value::known(value_blind.inner())),
Witness::Base(Value::known(blind)),
Witness::Base(Value::known(a)),
Witness::Base(Value::known(b)),