diff --git a/proofs/simple.pism b/proofs/simple.pism index 04838daac..3cb4ea3f3 100644 --- a/proofs/simple.pism +++ b/proofs/simple.pism @@ -19,17 +19,20 @@ start ec_add public public ak emit_ec public - alloc_binary preimage - ec_repr repr_ak ak - binary_extend preimage repr_ak - static_assert_binary_size preimage 256 - blake2s ivk preimage CRH_IVK - binary_clone ivk2 ivk - emit_binary ivk - binary_truncate ivk2 JUBJUB_FR_CAPACITY - u64_as_binary_le value_bits param:value - ec_mul pk_d value_bits public - pedersen_hash cm ivk NOTE_COMMIT - ec_get_u cur cm + # Below lines are random garbage + # Uncomment them to test + + #alloc_binary preimage + #ec_repr repr_ak ak + #binary_extend preimage repr_ak + #static_assert_binary_size preimage 256 + #blake2s ivk preimage CRH_IVK + #binary_clone ivk2 ivk + #emit_binary ivk + #binary_truncate ivk2 JUBJUB_FR_CAPACITY + #u64_as_binary_le value_bits param:value + #ec_mul pk_d value_bits public + #pedersen_hash cm ivk NOTE_COMMIT + #ec_get_u cur cm end