5f7ba18f2e | ||
---|---|---|
.. | ||
ciphers | ||
commitments | ||
csprngs | ||
hash_to_curve | ||
hashes | ||
kdf | ||
mac | ||
math | ||
math_arbitrary_precision | ||
math_codegen | ||
platforms | ||
serialization | ||
signatures | ||
threadpool | ||
trusted_setups | ||
README.md | ||
curves_primitives.nim | ||
ethereum_bls_signatures.nim | ||
ethereum_bls_signatures_parallel.nim | ||
ethereum_eip2333_bls12381_key_derivation.nim | ||
ethereum_eip4844_kzg.nim | ||
ethereum_eip4844_kzg_parallel.nim | ||
ethereum_evm_precompiles.nim | ||
ethereum_verkle_primitives.nim | ||
hashes.nim | ||
zoo_exports.nim |
README.md
Constantine-backed protocols
This folder stores protocol implemented on top of Constantine.
Ethereum Virtual Machine
Constantine implements precompiles primitives for the Ethereum virtual machine
- ECADD on BN254_Snarks (called
alt_bn128
in Ethereum), address 0x6, spec EIP-196 and pricing EIP-1108 - ECMUL on BN254_Snarks (called
alt_bn128
in Ethereum), address 0x7, spec EIP-196 and pricing EIP-1108 - ECPAIRING on BN254_Snarks (called
alt_bn128
in Ethereum), address 0x8, spec EIP-197 and pricing EIP-1108
Their main use-case is for use zero-knowledge proofs and zkRollups and be compatible with work on Zcash
- Succinct Non-Interactive Zero Knowledge
for a von Neumann Architecture
Eli Ben-Sasson, Alessandro Chiesa, Eran Tromer, Madars Virza
https://eprint.iacr.org/2013/879.pdf