Loops in Tamarin

[Adhirath Kabra]

Greetings everyone,

I am supposed to use a function arbitrary number of times on a value. The number of iterations are known only during the protocol run. Is there a way to use loops or any other method to meet this requirement?

For example, if the iterations come out to be 5, then a using a simple hash I need h(h(h(h(h(x))))).

Looking forward to your replies.

Sincerely

Adhirath

[Deepak Sharma]

Hi Adhirath,

Can you please help me out with the installation of Tamarin.

Regards & thanks .

Deepak