malatrax

zzzzzz

[malatrax @malatrax]

AuditHub New Functionality: Contests!

- Contest browsing
- Contest Details:
+ General Info & Findings Distribution
+ Leaderboard
+ Report
All in one place.

[malatrax @malatrax]

@sylvechv Gotan project is so goated!! It was the soundtrack of my childhood along with layton 🎩

[malatrax @malatrax]

@eniwhere_ @franklyteddy @sylvechv 👨‍🍳👨‍🍳👨‍🍳

[malatrax @malatrax]

@skcrypto_X @KakarotZkEvm Have you tried to turn off your network, generate the proof, and then turn it back on once you've reached the submitting step ? 🤓

[malatrax @malatrax]

@hyli_org 😶‍🌫️

[clemlaflemme 🥕 @ClementWalter]

so now imagine all ethereum nodes where reth? unbelievable, because there is a client diversity awareness in ethereum

but guess what?

all zkEVM use revm and part of reth
all zkEVM use plonky3
all zkEVM use the same toolchain
and even some share the same source code (cc @YourBuddyConner)

5 months ago, we @KakarotZkEvm released our 100% orthogonal EVM prover and published https://t.co/jjpsYoE0O9

zk client diversity is a sine qua none condition for the beam chain

[clemlaflemme 🥕 @ClementWalter]

Some initial number CairoM VS rest of the world (@StarkWareLtd @0xMiden @NoirLang @openvm_org @worldnetwork @RiscZero @SuccinctLabs @ProjectZKM)

Check repo, try it, and paste your results down below!

Also plz report any issue with bad/unfair settings
https://t.co/QVqRhMoAkf

[malatrax @malatrax]

@ClementWalter @savio_sou @StarkWareLtd @0xMiden @NoirLang @openvm_org @worldnetwork @RiscZero @SuccinctLabs @ProjectZKM Yes, perf were better with Noir + ProveKit

We aim at adding Barretenberg to the benchmark, but it is yet to be done with up-to-date rust bindings for bb (considering the ones maintained by @zkmopro)
@savio_sou

[StarkWare 🥷 @StarkWareLtd]

S-two unlocking real-time proving for everyday devices.

@KakarotZkEvm is building CairoM, a mobile-first ZK stack using M31 and S-two, to make client-side proving possible on laptops and smartphones.

Discover how Kakarot is leveraging S-two to bring ZK to your pocket 👇

[malatrax @malatrax]

Cairo M

New ZK-VM in 20 calendar days, from compiler to prover: 7 chads in the trenches
Mobile first

Not only a ZK-VM, also a demo app to locally prove, share and verify Cairo M proofs

exciting times to be part of @KakarotZkEvm 🥕

M is for Mobile.

[clemlaflemme 🥕 @ClementWalter]

Completely sick new feature for CairoM: p2p proof sharing and verification

Generate locally
Airdrop the proof
Verify elsewhere

No intermediate, no server, no cluster

Just p2p zk proof, as it should be

Wen fib war on @hyli_org ?

[malatrax @malatrax]

@guillaumeclaret @ClementWalter @worldnetwork @NoirLang thanks, I'll take a look

[malatrax @malatrax]

@guillaumeclaret @ClementWalter @worldnetwork @NoirLang Ok, I see, indeed!

But break is only available in unconstrained Noir code (brillig) though, no?

[malatrax @malatrax]

@guillaumeclaret @ClementWalter @worldnetwork @NoirLang I've compiled a main fib circuit (https://t.co/0q0ZJ8KQi8) and an empty main circuit, bytecodes are different.
diff in --print-acir:
+ return value indices : [_0]
+ EXPR [ (1, _0) -55 ]

Also, compiler warns that main return value, fib<N> is constrained as a constant

[malatrax @malatrax]

@guillaumeclaret @ClementWalter @worldnetwork @NoirLang There you go:
- Works on Field
- The fibonacci program is the same as this one: https://t.co/WY205ZcIfr
I believe the Noir compiler unfolds the loop as we benched similar proving time from fib(10) to fib(100k)

Not a Noir wizard yet, if there are opti tricks I'm not aware of, hmu

[malatrax @malatrax]

@eniwhere_ bonkers 🤯🤯🤯

[malatrax @malatrax]

@ETazou sus dob

[malatrax @malatrax]

@KakarotZkEvm 🐽🐽🐽

[malatrax @malatrax]

@eniwhere_ @StarkWareLtd thanks brozeur

[malatrax @malatrax]

@julio4__ @eniwhere_ @StarkWareLtd yessir
I'm in the midst of writing such doc 🤓

[Kakarot (Acquired by Zama) @KakarotZkEvm]

1/
🧠🤯 Brainfuck Blown !

Today we are releasing STWO Brainfuck ZK-VM, our research project demonstrating the power of STWO, the world’s fastest prover from @StarkWareLtd.

This is a crazy but important step on our mission to prove Ethereum in real time.  See why below👇🧵

[malatrax @malatrax]

@ETazou One prover to rule them all