Skip to content

Commit ef23dfe

Browse files
committed
docs: add a comment explaining why we need confidential assets
1 parent 6c101e4 commit ef23dfe

File tree

1 file changed

+3
-0
lines changed

1 file changed

+3
-0
lines changed

crates/contracts/src/options/source_simf/options.simf

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -109,6 +109,9 @@ fn ensure_correct_change_at_index(index: u32, asset_id: u256, asset_amount_to_sp
109109
}
110110
}
111111

112+
// Reissuance tokens are confidential because, in Elements,
113+
// the asset must be provided in blinded form in order to reissue tokens.
114+
// https://github.com/BlockstreamResearch/simplicity-contracts/issues/21#issuecomment-3691599583
112115
fn verify_reissuance_token(index: u32, asset: Point, value: Point) {
113116
let entropy: u256 = unwrap(unwrap(jet::issuance_entropy(index)));
114117
let (actual_asset, actual_amount): (Asset1, Amount1) = unwrap(jet::output_amount(index));

0 commit comments

Comments
 (0)