vyper 🐍 pilled. Implemented a small contract that uses the modexp precompile to verify a simple rational addition inside the scalar field of the BN‑254 curve

vyper 🐍 pilled. Implemented a small contract that uses the modexp precompile to verify a simple rational addition inside the scalar field of the BN‑254 curve

https://github.com/0xpantera/zk-precompiles/tree/main

Tricks with polynomials and Riemann-Roch spaces. Breaking into the platonic realm to pillage forbidden abstractions. Starknet grantee.

Solidity is the worse programming language I've ever used

The language is bad and the compiler is even worse. In no other PL do you have so many people writing assembly and outsmarting the compiler. It baffles me that people are ok with this. I don’t know enough about vyper yet to compare though.