diff --git a/doc/src/architecture/tx_lifetime.md b/doc/src/architecture/tx_lifetime.md index e95cede85..47d5b67a7 100644 --- a/doc/src/architecture/tx_lifetime.md +++ b/doc/src/architecture/tx_lifetime.md @@ -180,8 +180,6 @@ pub struct Note { pub value: u64, /// Token ID of the coin pub token_id: TokenId, - /// Blinding factor for the coin bulla - pub coin_blind: pallas::Base, /// Blinding factor for the value Pedersen commitment pub value_blind: ValueBlind, /// Blinding factor for the token ID Pedersen commitment diff --git a/doc/src/zkas/examples/sapling.md b/doc/src/zkas/examples/sapling.md index ca4385da6..d442d74fc 100644 --- a/doc/src/zkas/examples/sapling.md +++ b/doc/src/zkas/examples/sapling.md @@ -100,7 +100,6 @@ let token_id = pallas::Base::random(&mut OsRng); let value_blind = pallas::Scalar::random(&mut OsRng); let token_blind = pallas::Scalar::random(&mut OsRng); let serial = pallas::Base::random(&mut OsRng); -let coin_blind = pallas::Base::random(&mut OsRng); let public_key = PublicKey::from_secret(SecretKey::random(&mut OsRng)); let (pub_x, pub_y) = public_key.xy(); @@ -110,13 +109,12 @@ let prover_witnesses = vec![ Witness::Base(Value::known(pallas::Base::from(value))), Witness::Base(Value::known(token_id)), Witness::Base(Value::known(serial)), - Witness::Base(Value::known(coin_blind)), Witness::Scalar(Value::known(value_blind)), Witness::Scalar(Value::known(token_blind)), ]; // Create the public inputs -let msgs = [pub_x, pub_y, pallas::Base::from(value), token_id, serial, coin_blind]; +let msgs = [pub_x, pub_y, pallas::Base::from(value), token_id, serial]; let coin = poseidon_hash(msgs); let value_commit = pedersen_commitment_u64(value, value_blind); @@ -237,14 +235,13 @@ let token_id = pallas::Base::random(&mut OsRng); let value_blind = pallas::Scalar::random(&mut OsRng); let token_blind = pallas::Scalar::random(&mut OsRng); let serial = pallas::Base::random(&mut OsRng); -let coin_blind = pallas::Base::random(&mut OsRng); let secret = SecretKey::random(&mut OsRng); let sig_secret = SecretKey::random(&mut OsRng); // Build the coin let coin2 = { let (pub_x, pub_y) = PublicKey::from_secret(secret).xy(); - let messages = [pub_x, pub_y, pallas::Base::from(value), token_id, serial, coin_blind]; + let messages = [pub_x, pub_y, pallas::Base::from(value), token_id, serial]; poseidon_hash(messages) }; @@ -272,7 +269,6 @@ let prover_witnesses = vec![ Witness::Base(Value::known(serial)), Witness::Base(Value::known(pallas::Base::from(value))), Witness::Base(Value::known(token_id)), - Witness::Base(Value::known(coin_blind)), Witness::Scalar(Value::known(value_blind)), Witness::Scalar(Value::known(token_blind)), Witness::Uint32(Value::known(leaf_pos.try_into().unwrap())),