| 1234567891011121314151617181920212223 |
- # :set syntax=pism
- # :source ../scripts/pism.vim
- constant G_SPEND FixedGenerator
- contract input_spend
- param secret Fr
- param ak Point
- start
- witness ak param:ak
- assert_not_small_order ak
- fr_as_binary_le secret param:secret
- ec_mul_const public secret G_SPEND
- ec_add public public ak
- emit_ec public
- alloc_binary preimage
- ec_repr repr_ak ak
- binary_clone repr_ak2 repr_ak
- binary_extend preimage repr_ak
- end
|
