1  program test.alpha;
2  
3  function main:
4      input r0 as field.private;
5      hash.bhp256 r0 into r1 as field;
6      hash.psd2 r1 into r2 as field;
7      commit.bhp256 r2 1scalar into r3 as field;
8      output r3 as field.private;