Mamy Ratsimbazafy ๐Ÿฆ‡๐Ÿ”Š (@m_ratsim) 's Twitter Profile
Mamy Ratsimbazafy ๐Ÿฆ‡๐Ÿ”Š

@m_ratsim

Engineer @lita_xyz zkVM | Cryptography | Scaling Ethereum | ex Chief Scientist @taikoxyz, Ethereum Core Dev @ethnimbus

ID: 2440119282

linkhttps://github.com/mratsim calendar_today12-04-2014 14:53:38

3,3K Tweet

2,2K Takipรงi

2,2K Takip Edilen

Hadas Zeilberger (@idocryptography) 's Twitter Profile Photo

Presenting a new improved Khatam result showing BaseFold secure within one-and-a-half Johnson bound! (eprint.iacr.org/2024/1843.pdf) with very small error probability < 2/eps^{2}|\FF}, which significantly improves recent work (2024/1810). Concretely, when to use these results? ๐Ÿงต

GregTheGreek.eth (@gregthegreek) 's Twitter Profile Photo

The scaling Ethereum wars rn are unbelievably left curve with a massive micro lens. I literally devoted my life to helping with The Merge from ~2018. This meme cycle is a literally copy/pasta We were ridiculed for building out the beacon chain by everyone, and even ACD (eth2

Mamy Ratsimbazafy ๐Ÿฆ‡๐Ÿ”Š (@m_ratsim) 's Twitter Profile Photo

Whoops holidays and back with ZK on fire following vitalik.eth post on replacing EVM exec with Risc-V On proof generation side, the discussion so far has been missing the biggest cost contributors to ZKVM, ISA calling conventions and addressing mode. ethereum-magicians.org/t/long-term-l1โ€ฆ

Whoops holidays and back with ZK on fire following <a href="/VitalikButerin/">vitalik.eth</a> post on replacing EVM exec with Risc-V

On proof generation side, the discussion so far has been missing the biggest cost contributors to ZKVM, ISA calling conventions and addressing mode.
ethereum-magicians.org/t/long-term-l1โ€ฆ
Mamy Ratsimbazafy ๐Ÿฆ‡๐Ÿ”Š (@m_ratsim) 's Twitter Profile Photo

Spicy take. Nim will be the best language for code generating high performance GPU kernels for AMD, Metal. Nvidia, OpenCL, Vulkan. And those macros โ˜„๏ธ๐Ÿ”ฅ forum.nim-lang.org/t/12868 Only ~1000 LOC for a compile-time macro-based Cuda codegenerator to compile Nim to Cuda

Lita (@0xlita) 's Twitter Profile Photo

Ventaliโ€™s Twitter (Ventali ) and Telegram (@ventali08) accounts have been compromised. Please do not engage with any messages from those accounts until further notice. For urgent matters, please reach out through official Lita channels, or email [email protected].

Mamy Ratsimbazafy ๐Ÿฆ‡๐Ÿ”Š (@m_ratsim) 's Twitter Profile Photo

Microsoft bloque l'email de la Cour Pรฉnal Internationale: next.ink/brief_article/โ€ฆ Faut arrรชter la dรฉpendance ร  Google / Microsoft.