|
|
@@ -17,6 +17,7 @@ contract spend_contract
|
|
|
param serial Fr
|
|
|
param randomness_coin Fr
|
|
|
param secret Fr
|
|
|
+ param signature_secret Fr
|
|
|
|
|
|
{% for i in range(32) %}
|
|
|
param branch_{{ i }} Scalar
|
|
|
@@ -136,5 +137,10 @@ start
|
|
|
{% endfor %}
|
|
|
# Reveal the merkle root
|
|
|
emit_scalar current
|
|
|
+
|
|
|
+ # Emit the signature public key
|
|
|
+ fr_as_binary_le signature_secret param:signature_secret
|
|
|
+ ec_mul_const signature_public signature_secret G_SPEND
|
|
|
+ emit_ec signature_public
|
|
|
end
|
|
|
|