superposition-precompiles

Ed25519ph verifier

Deployed by address 0x37f8c060dbeb1786deb6a88f387200642122be76 to 0xc3e443be2cfa4f41a5f5e4978d012847d355b419 on Superposition Mainnet, Superposition Testnet, and Arbitrum One.

Why not precomputed tables?

We did some comparison, and found:

precomputed	Ed25519COMPARISON:test_fuzzEd25519(bytes32,bytes) (runs: 257, μ: 93467, ~: 93511)
no precomputed	Ed25519COMPARISON:test_fuzzEd25519(bytes32,bytes) (runs: 257, μ: 92715, ~: 92703)

Muldiv using Ruint

Deployed by address 0x11083929e0e409b4720bfe49d894f1df9ebcb294 to 0x7a9579a78d6ea3279b33d6d0f92a2fe8fd0e2662 on Superposition Mainnet, Superposition Testnet, and Arbitrum One.

Sha512

Deployed by address 0xc64566e8dfdbbbf57e253d3e6720a261095feddc to 0x1f4350205a556587ff3a1f2cb627613685dacb73 on Superposition and Arbitrum One.

Checked root using ruint

Deployed by address 0x9d955403685028d029ef968287e45ccd30ae7e5f to 0xe0efe3de50d40452bc53317e16a1b69764e2b1b2 on Superposition.

Building

make

Testing

Online testing is tested with bobcat-sdk.

./tests.sh