diff --git a/src/circuit/mint_contract.rs b/src/circuit/mint_contract.rs index fa9c3ca01..d31fe7736 100644 --- a/src/circuit/mint_contract.rs +++ b/src/circuit/mint_contract.rs @@ -125,36 +125,6 @@ impl Circuit 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); - - // Line 79: binary_push preimage zero_bit - preimage.push(zero_bit); - - // Line 83: binary_extend preimage randomness_coin - preimage.extend(randomness_coin); - // add 4 zero bits for _ in 0..4 { // Line 71: alloc_const_bit zero_bit false @@ -166,6 +136,20 @@ impl Circuit for MintContract { // Line 99: binary_extend preimage asset_id preimage.extend(asset_id); + // Line 67: binary_extend preimage serial + preimage.extend(serial); + + // add 4 zero bits + for _ in 0..4 { + // Line 71: alloc_const_bit zero_bit false + let zero_bit = Boolean::constant(false); + + // Line 72: binary_push preimage zero_bit + preimage.push(zero_bit); + } + // Line 83: binary_extend preimage randomness_coin + preimage.extend(randomness_coin); + // add 4 zero bits for _ in 0..4 { // Line 71: alloc_const_bit zero_bit false