Rajesh

Open to work! Prev: Rust and Cryptography at @Metaborong, Zk circuit engineer at Compozite Research, ZK Fellow @yAcademyDAO | Noir, Circom,Leo

[Rajesh @0bRajeshRk]

I had to adopt various other interesting techniques(AI assisted) too like folding 256-bit digest region to one scalar and checking computed root’s two 128-bit words against storage root via a single random-combined sumcheck which binds the whole proof in a single opening.

[Rajesh @0bRajeshRk]

Flock is awesome!

So i experimented with it and implemented Ethereum storage and account proof circuits!🧵

https://t.co/Tz3L7x9TCN

[Succinct @SuccinctLabs]

Introducing Flock: a new SNARK for proving batches of standard hash functions at just 250× the cost of computing them natively.

Developed by @benediktbuenz from @EspressoSys, @ronrothblum, and NYU's William Wang, Flock puts Ethereum's Post Quantum target in reach.

[Rajesh @0bRajeshRk]

This single change brought the proving time from 54s to 0.13s on my M4 Air!

[Rajesh @0bRajeshRk]

@edviiz I previously worked on designing a payment system (using zk) from the scratch.

[Rajesh @0bRajeshRk]

@panditdhamdhere Happy bday ser!!

[Rajesh @0bRajeshRk]

@cneuralnetwork Watch Demon slayer and Attack on Titan. You wont regret!

[Rajesh @0bRajeshRk]

@adrien_lacombe You’re absolutely right

[Rajesh @0bRajeshRk]

@zkDragon 🚀🚀🚀

[Rajesh @0bRajeshRk]

@cryptodavidw All password managers do that shit

[JP Aumasson @veorq]

this part of the Coinbase paper is misleading: many people understood it as "ZK proofs are post-quantum", which is false; here they talk of the zero-knowledge property, but SOUNDNESS is at least as important and is often not PQ (relying on discrete log-related assumptions); STARKs are an exception

[Pierre @xyz_pierre]

welcome PlasmaBlind: a new privacy L2 that ditches SNARKs altogether, with <100ms client-side zk proofs, using the blindfold scheme and a carefully designed aggregator.

uncompromising and instant privacy on *any* device.

we implemented and benchmarked the whole thing at @PrivacyEthereum and are opening it under MIT.

paper + code available at https://t.co/nW2kMCT50p

the time for a special purpose privacy L2 has come 😎

[Rajesh @0bRajeshRk]

@fede_intern Poseidon2 got broken???

are you referring to this one?

https://t.co/VO1U30vBxU

[Rajesh @0bRajeshRk]

@zooko Hi zooko!

[Rajesh @0bRajeshRk]

Love it!!!

[Galois @galois]

ZK proofs are headed for real-world deployment — but writing correct ZK statements is tricky.

Our new post introduces zkLean, a Lean library that defines a domain specific language for specifying and formally verifying ZK statements.

Read more: https://t.co/6eWh3IHWK3

[Rajesh @0bRajeshRk]

@yashpxl So cool!