Mamy Ratsimbazafy
@mratsim
66 Following
130 Followers
Casts
Casts + replies
Mamy Ratsimbazafy
@mratsim
Today is my last day at @taikoxyz as zkEng lead / Head of proof systems / Chief Scientist. Between optimizing our own zkEVM, pivoting to zkVMs, adding ZK and SGX multi-proofs, the rise of based sequencing and based preconfirmations, it was a wild ride. Oh and a mainnet baby!
1 reply
0 recast
3 reactions
Mamy Ratsimbazafy
@mratsim
I accelerate Rust code with Nim following ZAL ;), the Zk Accel Layer: https://github.com/mratsim/constantine/pull/308 Compared to Rust frameworks I'm 1.8x to 4.5x faster (Arkworks, Bellman, Halo2, see https://github.com/mratsim/constantine/pull/226 )
0 reply
0 recast
9 reactions
Mamy Ratsimbazafy
@mratsim
Releasing Constantine v0.1.0, the fastest backend for Ethereum cryptography. BLS signatures, EVM crypto-precompiles, KZG polynomial commitments for blobs (EIP-4844). All accelerated, with multithreading support. And the fastest MSM for elliptic curves. https://ethresear.ch/t/releasing-constantine-v0-1-0-a-modular-cryptography-stack-for-ethereum/19990
7 replies
13 recasts
109 reactions
Mamy Ratsimbazafy
@mratsim
Finished implement EIP-2537 (BLS12-381 precompiles) with full benches. I think we can bring down gas cost by 2.5x to up to 15x compared to current. Benchmarks done with laptop CPUs from 9 years ago to today and Raspberry Pi 4. https://ethereum-magicians.org/t/eip-2537-bls12-precompile-discussion-thread/4187/76
0 reply
0 recast
0 reaction
Mamy Ratsimbazafy
@mratsim
nitpick, it's an extension field since it's a power of a prime ;)
1 reply
0 recast
0 reaction
timbeiko.eth
@tim
Lots of decisions on ACDE today: EIPs 2935 + 3074 included in Pectra, EOF and 7623 on the shortlist. EIP-7667, which proposes snark-friendly gas costs on L1, on the shortlist for the next fork. Changes to the forks' meta specs can be seen here: https://github.com/ethereum/EIPs/pull/8403
4 replies
10 recasts
74 reactions
