# :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 end
