Mohit kataria

PnI Sophomore @IITRoorkee | | PM
@blocSocIITR | |
passionate learner and curious to know all about Web3 as early as possible

[Grover @GroverInnovate]

I was wondering about AI adoption in corporate and what were the actual blockers in it. I researched about in past few weeks, made a project to solve it!
Here are my findings -
https://t.co/wLSyDVjnAu

Open for reviews!

[DAN KOE @thedankoe]

You need to write more.

Without AI. Without templates. Without knowing what you're writing about. Just you, an idea, and enough time to do the difficult cognitive work necessary to reach true understanding. If you don't, your ability to think will drastically decline.

[Grover @GroverInnovate]

I wanted to understand how mobile GPUs can accelerate ZKP proving. So, I read the papers, studied ICICLE-SNARK and Mopro’s Metal Implementations and wrote a Technical Blog covering GPUs, MSM, NTT, current scope and constraints.

Check this out ⬇️
https://t.co/Vg9U5HNGpf

[Yash @offee_co]

Took a bit of time, wanted to write the best out of me.

I have been studying Stealth Addresses for almost 3 months now, so this article contains almost everything I know.

Make sure to check it out!

https://t.co/st3gAnhnEu

[Mohit kataria @ZeroXFlash]

@GroverInnovate Building snarks is looking pretty fun 😊

[Mohit kataria @ZeroXFlash]

@Arvolear That's an interesting idea . Is there anyway I can work with you on this ?

[Mohit kataria @ZeroXFlash]

Don't think of it as a choice it's always an opportunity to become better everyday.

[Mohit kataria @ZeroXFlash]

@immunefi Hi

[Mohit kataria @ZeroXFlash]

We wish sometimes if we were able to audit our own lives but I think it's always in our hands in which directions we want it .

[Mohit kataria @ZeroXFlash]

Beam -> lean

[Justin Drake @drakefjustin]

Craaazy 365 days of @leanEthereum progress. Cheers to the builders. Cheers to the dreamers. Cheers to anti-fragility, too :)

Devcon, Bangkok — Nov 12, 2024. The suspense is real. The room overflows; hundreds can't get in. An "announcement of an announcement" had sparked wild speculation about my "most ambitious initiative".

Who knew the beam chain vision would evolve into lean Ethereum? Next-level ambition, seeping into all layers of L1. Snarks for consensus and execution. Fort mode and beast mode.

What's new? zkEVMs. Real-time proving. Full validation in a tab, on a phone. Let's pump L1 gas with the exponential snark curve. Starting in months, not years. To me it all points to 10K TPS, the gigagas frontier.

Dream bigger dreams for L1. Believe in something.

———

part 1—lean consensus

devnets

→ clients: 4 new lean CL clients (Zeam, Ream, Qlean, Lantern)
→ languages: 3 new CL languages (Zig, C++, C)
→ specs: by @tcoratger + 14 others; 3SF-mini subspec by @vitalikbuterin
→ testing: revamped test framework by @fselmo2; @Sib_Katya metrics
→ devnets: multi-client 3SF with 4s slots and 12s finality; PQ soon™

coordination

→ hires: EF Protocol coordinators @corcoranwill and @ladislaus0x
→ CL teams: led by @Gajpower, @unnawut, @kamil_abiy, @mstore80
→ 7 consensus calls: teams, PQ, p2p, exit queue, APS, 3SF, PQ specs
→ Cannes workshop: 1 day at EthCC in June; interop kicked off
→ 13 interop calls: by @corcoranwill on Wednesdays at 2pm UTC
→ Cambridge Oct workshops: 1 day leanVM, 3 days PQ, 3 days CL

cryptography

→ leanSig: 3 papers on hash sigs by Benedikt, @khovr, @kudinov_mikhail
→ leanVM: fast minimal aggregation zkVM by Emile
→ WHIR: fast Plonky3 implementation by @tcoratger
→ optimisoors: @AngusGruen, @GiacomoFenzi, @lambdaclass, @kiliconu
→ Poseidon2: 4 cryptanalysis workshops by @khovr, @asanso
→ maths: $1M Millennium-like proximity prize; papers flowing
→ formal verification: ArkLib by @QuangVDao

research

→ consensus team: hires @yannvon and lead @robsaltini join @luca_zanolini
→ faster finality: 1- or 2-round designs with Ethereum-grade liveness
→ 3sf-gold: new fast inclusion by @fradamt, @vitalikbuterin from Cambridge
→ p2p: @qdrvm_io simulator; @raulvk ethp2p; @soispoke leanp2p
→ rainbow staking: new Cambridge ideas; specs by Dan Goron & Alex Vlad

———

part 2—lean execution

zkEVM tech

→ real-time proving: ~100 engineers pushing across ~10 zkVM teams
→ GPU proving: 16 5090s (10kW) proving mainnet; $0.01/block
→ guests: revm (Reth), levm (Ethrex), evmone (Zilkworm), ZKSync OS
→ more guest programs: Geth, Besu, Nethermind and others soon™
→ RISC-V: de facto ISA of choice for zkEVM proving
→ Picus: prolific Veridise tool to identify under-constraints
→ formal verification: $4M across 40 grants by @alexanderlhicks

Ethproofs community

→ zkVM integrations: Airbender, OpenVM, Pico, R0VM, SP1, Ziren, ZisK
→ other integrations: Cysic, Fermah, Marlin, Snarkify, Zilkworm, ZkCloud
→ website: driven by @fbwoolf under new EF Ethproofs team
→ 7 calls: zkVMs, RTP, gigagas, RISC-V, native rollups, proximity gaps
→ Ethproofs day: Nov 22 at Devconnect; register at ethproofs[.]day
→ zkAttester demo: my home validator on zkEVM proofs at Ethproofs day

EF zkEVM team

→ new team: led by @kevaundray with Cody, Han, Ignacio, Radek, Sophia
→ EF blog post: real-time proving requirements by @_sophiagold_
→ zkLighthouse: modified Lighthouse client by @kevaundray
→ zkEVM/acc: @ignaciohagopian benchmarks; @codytouchgrass tests
→ more zkEVM/acc: @kevaundray standardisation; Ere by @han__0110

future of EL

→ Fusaka: per-tx gas limit (EIP 7825); MODEXP killer (EIPs 7823, 7883)
→ EVM 2.0: @vitalikbuterin proposal to enshrine RISC-V under the EVM
→ native rollups: championed by @lucadonnoh; wrote book and draft EIP
→ gas auto-pumps: 3x/year gas pumps (EIP-7938 by @dankrad)
→ gigagas L1: champion wanted—reach out :) [email protected]

[Mohit kataria @ZeroXFlash]

The player to stay in the game till end without letting his sum guessed wins the game and get all the staked ETH.

[Mohit kataria @ZeroXFlash]

In this EthGlobal Online'25 I and my teammate @GroverInnovate built an interesting card game on zk deployed on @hedera , thinking that the betting on Web2 could be biased web3 is the best place for that. It was a four player game ,guessing the sum of players + staying till end.

[Mohit kataria @ZeroXFlash]

Every player staked some ETH in the starting and then they get three cards each (not known to others) .The game included interrogate, accuse and assets in which the first two worked with zk and assets were to make the game more interesting example bluffing our sum to others.

[Mohit kataria @ZeroXFlash]

@bitget #Bitget0GasStocks

[Mohit kataria @ZeroXFlash]

@GroverInnovate @as__tarr @theresidency Everyone knows how tedious it is to sign the transactions again and again and for users using delta neutral strategies is a complex thing and our DeltaEase helps anyone to do it with a single click with the help of account abstraction ERC - 4337 which fascinates to much.

[Grover @GroverInnovate]

Balancer got exploited , ETH went down by 4% , Market’s pretty volatile, so Addressing this Problem Me along with @ZeroXFlash @as__tarr built a simplified way to use Delta Neutral Strategies with ERC -4337 Account Abstraction at Trihackathon IITR with @theresidency

[Mohit kataria @ZeroXFlash]

Writing circuits in noir made interesting , wrote my first circuit @NoirLang
Thanks to @CiaraNightingal and @CyfrinUpdraft

[Mohit kataria @ZeroXFlash]

@GroverInnovate Congrats Grover 🎉🎉

[ddimitrov22 @ddimitrovv22]

If you want to progress faster, you need to shorten the feedback loop.

Just by reflecting on your work and asking why you did/didn't do what you did, you will learn a ton.

Your growth is on the other side of your ego.