Antoine

[Raycash @raycashxyz]

We are looking for the first 500 people to use Raycash in private beta.

Not testers. Early members. People who understand why private, self-custodial money matters and want to be among the first to use it.

If that is you, the waitlist is the place to start. Link in bio.

[Herodotus 🛰 @HerodotusDev]

1/6 Since we added S-two support to Atlantic, one question has come up more than any other: “When EVM verification?”
Today we’re sharing the answer. Introducing stwo-gnark-verifier: an open-source gnark circuit for verifying S-two STARK proofs on EVM (Apache 2.0).

[Antoine @_Antoineuh]

@alxkzmn @NoirLang @aztecnetwork @ligero_inc @IrreducibleHW @KakarotZkEvm very cool!! i was wondering if it really made sense to compare VMs/DSLs with different IOPs (for instance cairo-m uses starks so it’ll be slower than snarks for sure)

[clemlaflemme 🥕 @ClementWalter]

A month ago, @drakefjustin told me that it would be nice to have a @StarkWareLtd stwo based RISC-V prover

Perfect 🎯 for eoy holidays+opus 4.5 craze

Tike to wrap up:

💣NEW RISC-V rv32im prover

🧨reaching 500khz on M2 Max (👋 @SuccinctJT )

& up to 1Mhz when running several proofs in parallel (e.g continuation scenario)

This is a major unlock for the @eth_proofs roadmap where proving on CPU only is the target

Joint work with my AIR homies @_Antoineuh with inspo from @openvm_org for the AIR design

Next step: prove eth blocks

And as always, pull https://t.co/wAqWTXmxsY run locally and share results below

[Antoine @_Antoineuh]

@ClementWalter @KakarotZkEvm Precompiles are the way 😵‍💫

[Antoine @_Antoineuh]

We won’t stop yet, there’s room for more 🚀

[clemlaflemme 🥕 @ClementWalter]

Today marks not only the crazy success of #FibRace with up 250k proofs in 24h

But also the last of day of our beloved intern @_Antoineuh, gran stwo master, working until the very last hours to achieve 15khz on sha256 as hinted by @PapiniShahar

Stuck at 3.4mhz, his last words were “the show must go on”

God be with you

[Antoine @_Antoineuh]

I just proved #Fibonacci 65175 in 4.06 s on my Apple iPhone 13 mini with Cairo M from @KakarotZkEvm and settled my proof on @hyli_org!

Download the FibRace app and try to beat my performance!
#FibRace