|
|
@@ -125,35 +125,19 @@ impl Circuit<bls12_381::Scalar> for MintContract {
|
|
|
// Line 60: binary_extend preimage value
|
|
|
preimage.extend(value);
|
|
|
|
|
|
- // Line 67: binary_extend preimage serial
|
|
|
- preimage.extend(serial);
|
|
|
-
|
|
|
- // Line 69: alloc_const_bit zero_bit false
|
|
|
- let zero_bit = Boolean::constant(false);
|
|
|
-
|
|
|
- // Line 70: binary_push preimage zero_bit
|
|
|
- preimage.push(zero_bit);
|
|
|
-
|
|
|
- // Line 72: alloc_const_bit zero_bit false
|
|
|
- let zero_bit = Boolean::constant(false);
|
|
|
-
|
|
|
- // Line 73: binary_push preimage zero_bit
|
|
|
- preimage.push(zero_bit);
|
|
|
-
|
|
|
- // Line 75: alloc_const_bit zero_bit false
|
|
|
- let zero_bit = Boolean::constant(false);
|
|
|
-
|
|
|
- // Line 76: binary_push preimage zero_bit
|
|
|
- preimage.push(zero_bit);
|
|
|
-
|
|
|
- // Line 78: alloc_const_bit zero_bit false
|
|
|
- let zero_bit = Boolean::constant(false);
|
|
|
+ // add 4 zero bits
|
|
|
+ for _ in 0..4 {
|
|
|
+ // Line 71: alloc_const_bit zero_bit false
|
|
|
+ let zero_bit = Boolean::constant(false);
|
|
|
|
|
|
- // Line 79: binary_push preimage zero_bit
|
|
|
- preimage.push(zero_bit);
|
|
|
+ // Line 72: binary_push preimage zero_bit
|
|
|
+ preimage.push(zero_bit);
|
|
|
+ }
|
|
|
+ // Line 99: binary_extend preimage asset_id
|
|
|
+ preimage.extend(asset_id);
|
|
|
|
|
|
- // Line 83: binary_extend preimage randomness_coin
|
|
|
- preimage.extend(randomness_coin);
|
|
|
+ // Line 67: binary_extend preimage serial
|
|
|
+ preimage.extend(serial);
|
|
|
|
|
|
// add 4 zero bits
|
|
|
for _ in 0..4 {
|
|
|
@@ -163,8 +147,8 @@ impl Circuit<bls12_381::Scalar> for MintContract {
|
|
|
// Line 72: binary_push preimage zero_bit
|
|
|
preimage.push(zero_bit);
|
|
|
}
|
|
|
- // Line 99: binary_extend preimage asset_id
|
|
|
- preimage.extend(asset_id);
|
|
|
+ // Line 83: binary_extend preimage randomness_coin
|
|
|
+ preimage.extend(randomness_coin);
|
|
|
|
|
|
// add 4 zero bits
|
|
|
for _ in 0..4 {
|