github.com/verovm/record-replay@v1.9.7/crypto/secp256k1/libsecp256k1/sage (about)

group_prover.sage
secp256k1.sage
weierstrass_prover.sage