CIP - Elliptic curve operations (and other math useful for ZK proof verification) in Plutus

I would be keen to see that. Not that I can understand the maths behind it. Still, I try to learn.

I would particularly like to have a function that I can apply to my stake pool private key, slot number, and epoch nonce, in order to check the output of the VRF that Cardano uses for leadership election.

There are people feeling that they don’t trust this VRF code built into cardano-node and actually running that function on real data to confirm when their pool gets elected as leader and when it doesn’t would help.

Eg: See this thread:

2 Likes