To improve the protocol security, the folding parameter should be seeded using fiat-shamir for exemple.
To improve the protocol security, the folding parameter should be seeded using fiat-shamir for exemple.