Solidity implementation of the baby jubjub curve - View it on GitHub