Adjust CurveCycleEquipped trait implementation with forthcoming PCS change at Arecibo

[storojs72]

Adresses #1039 (comment)

Substantial research on PCSs leads us to forthcoming replacement of the IPA to a more Ethereum-friendly KZG-based PCS at Arecibo side. Once it finally happens, Lurk will need to pick up these changes and adapt the CurveCycleEquipped trait implementation for Bn256.

We create this issue in order to be consistent in the code adaptations of various components of Lurk ecosystem (lurk-rs, solidity-verifier) that will be required with PCS replacement.