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

**URL:** <https://forum.cardano.org/t/cip-elliptic-curve-operations-and-other-math-useful-for-zk-proof-verification-in-plutus/113624>\
**Category:** CIPs\
**Created:** [28 January 2023 01:29 UTC](https://forum.cardano.org/t/cip-elliptic-curve-operations-and-other-math-useful-for-zk-proof-verification-in-plutus/113624 "2023-01-28T01:29:17Z")\
**Posts on this page:** 1\
**Showing post:** 2

<div class="post-metadata">

**Author:** ![Terminada](https://sea1.discourse-cdn.com/flex023/user_avatar/forum.cardano.org/terminada/32/80229_2.png) [@Terminada](https://forum.cardano.org/u/Terminada)\
**Post date:** [28 January 2023 09:08 UTC](https://forum.cardano.org/t/cip-elliptic-curve-operations-and-other-math-useful-for-zk-proof-verification-in-plutus/113624/2 "2023-01-28T09:08:05Z")

</div>

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:

> [@Small SPOs - have you noticed a change in the number of slots being allocated since Epoch 320](https://forum.cardano.org/t/small-spos-have-you-noticed-a-change-in-the-number-of-slots-being-allocated-since-epoch-320/110795):
>
> Please can any small pool operators with stake in the vicinity of 250k to 350k ADA answer a poll I have put on Twitter. The poll is based on a perceived drop in slot allocations for small pools since Epoch 320? Link to poll: [twitter.com/GrahamsNoPlus1](https://twitter.com/GrahamsNoPlus1/status/1596407560143196160?s=20&t=JDouL33VXa9qWH7r-TUWxg) If you are a small pool operator that fits into the above criteria, please take the time to place a vote on the above poll - poll is open for 7 days up until the 3rd December 2022 - so would really love to get some feedback on this.

---

_[View the full topic](https://forum.cardano.org/t/cip-elliptic-curve-operations-and-other-math-useful-for-zk-proof-verification-in-plutus/113624)._
