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 Followers

2,2K Following

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.