GitHub repository: 0xpantera/zk-precompiles
Primary language: Python
Description: A tiny Vyper contract that verifies, inside the scalar field of the BN‑254 curve, that two secret rational numbers add up to a public rational number