aztec-honk
aztecUltraHonk, Aztec's proof system
- Barretenberg unaudited
Rosetta view
One cryptographic primitive surfaces differently in each ecosystem. Grouped here by primitive, the same object is shown across chains alongside the implementations catalogued for each, with audited ones marked. Groups spanning the most ecosystems lead.
proven parity marks a primitive whose equivalence is demonstrated executably: a committed test vector drives audited verifiers on each ecosystem to the same verdict on the same bytes. Unmarked groups are conceptual equivalences—the same primitive by name, but instantiated differently per chain or bound to a per-deployment setup, so they are not claimed to verify identically.
BN254 proven parity
EIP-1108
ethereumReduce alt_bn128 precompile gas costs
No catalogued implementation.
EIP-196
ethereumPrecompiled contracts for addition and scalar multiplication on the elliptic curve alt_bn128
No catalogued implementation.
EIP-197
ethereumPrecompiled contracts for optimal ate pairing check on the elliptic curve alt_bn128
No catalogued implementation.
linea-plonk
lineaLinea's PLONK zkEVM proof system
- linea-monorepo audited
polygon-zkevm
polygonPolygon zkEVM proof system
- zkevm-prover unaudited
scroll-halo2
scrollScroll's Halo2 zkEVM proof system
- zkevm-circuits unaudited
SIMD-0129
solanaAlt_BN128 Syscalls - Simplified Error Code
- groth16-solana audited
SIMD-0284
solanaAlt-BN128 Little Endian compatibility
No catalogued implementation.
SIMD-0302
solanaBN254 G2 Arithmetic Syscalls
No catalogued implementation.
taiko-zkvm
taikoTaiko's zkVM-based validity proofs
- raiko unaudited
zksync-boojum
zksyncBoojum, ZKsync Era's proof system
- era-boojum audited
Poseidon
aleo-varuna
aleoVaruna, Aleo's proof system
- snarkVM audited
FIP-0092
filecoinNon-Interactive PoRep
- rust-fil-proofs audited
- neptune unaudited
MIP-0003
minaKimchi, a new proof system
- proof-systems unaudited
penumbra-groth16
penumbraGroth16 over decaf377, Penumbra's shielded proofs
- decaf377 audited
SNIP-12
starknetOff-chain signatures (a la EIP712)
- cairo-contracts audited
- starknet.js unaudited
ZIP-0224
zcashOrchard Shielded Protocol
BLS12-381 proven parity
EIP-2537
ethereumPrecompile for BLS12-381 curve operations
- blst audited
FIP-0079
filecoinAdd BLS Aggregate Signatures to FVM
- bls-signatures audited
- blstrs unaudited
namada-masp
namadaMASP, Namada's Multi-Asset Shielded Pool
- masp unaudited
SIMD-0388
solanaBLS12-381 Elliptic Curve Syscalls
No catalogued implementation.
secp256r1
EIP-7951
ethereumPrecompile for secp256r1 Curve Support
- RustCrypto p256 audited
RIP-7212
rollupPrecompile for secp256r1 Curve Support
- p256-verifier audited
SIMD-0048
solanaNative Program for verifying secp256r1 sig.
No catalogued implementation.
SIMD-0075
solanaPrecompile for verifying secp256r1 sig.
No catalogued implementation.
KZG
EIP-4844
ethereumShard Blob Transactions
- c-kzg-4844 audited
midnight-halo2
midnightHalo2 with KZG, Midnight's proof system
- midnight-proofs unaudited
secp256k1
BIP-327
bitcoinMuSig2 for BIP340-compatible Multi-Signatures
- libsecp256k1 unaudited
BIP-340
bitcoinSchnorr Signatures for secp256k1
- libsecp256k1 unaudited
BIP-341
bitcoinTaproot: SegWit version 1 spending rules
No catalogued implementation.
BIP-342
bitcoinValidation of Taproot Scripts
No catalogued implementation.
ERC-5564
ethereumStealth Addresses
No catalogued implementation.
ERC-7524
ethereumPLUME Signature in Wallets
No catalogued implementation.
Blake2
EIP-152
ethereumAdd BLAKE2 compression function `F` precompile
No catalogued implementation.
Jubjub
ZIP-0216
zcashRequire Canonical Jubjub Point Encodings
- librustzcash audited
- jubjub unaudited
curve25519
SIMD-0153
solanaZK ElGamal Proof Program
No catalogued implementation.