clemlaflemme.stark 🥕
@ClementWalter
Followers
2K
Following
2K
Media
198
Statuses
1K
Engineer & Scientist & Farmer 🥕 Co-founder @KakarotZkEvm 🥕 DM open
Paris, France
Joined August 2012
Excited to release new keras-fsl v0.2.0: toolbox for #FewShotLearning in @TensorFlow #keras including encoder/similarity/mining/loss framework in pure keras.Sequential .💾 github: ✅ pypi: @fchollet @DynamicWebPaige #MetricLearning.
2
41
132
A tl;dr on the latest @KakarotZkEvm announcement. 1) codebase is audited (500k$+) and everyone has been able to test things on sepolia.2) it’s been decided to wait for native + stwo for @starknet mainnet to make sure the overall network UX is not degraded with the heavy txs. 1/3.
9
28
122
$6M raised, <15 team, @KakarotZkEvm is the smallest company dedicated to the zk-ification of eth infrastructure, launching mainnet by eoy and realtime block proving in a year. What’s our secret?. On the shoulders of Starkware. Thanks for bringing so much value to the ecosystem.
$250M+ raised, $1T+ volume settled, 200+ team. @StarkWare is the largest company dedicated to blockchain infrastructure. What’s our North Star? Register here to learn. Tuesday October 1st.
9
10
102
This screenshot is a bit special. A year ago I landed on @Starknet to build @starksheet. Few weeks later, I had to realize that SN was not yet ready to deploy the vision I have for it. I put all my savings in it, I was frustrated. Should I look for another network?
14
17
90
Beta testing some random websites on a quiet Saturday morning
21
15
85
This looks like a usual contract test right?. But it’s not. It’s the first test of @transmissions11 Solmate's ERC20 deployed as is in @KakarotZkEvm . Yes, we’re now able to deploy a regular solidity contract in kakarot, and use it normally
8
20
84
Many people think that @KakarotZkEvm is only EVM compatibility for @Starknet.This is indeed our GTM with mainnet by eoy. But what we're working on since 1.5 years is much bigger. 1. be a top-notch @ethereum proving backend.2. be the first zkEVM on top of Bitcoin #BitRoot. 🚜🥕🟣.
A major breakthrough in multiplication over Bitcoin, and in STARK verification on Bitcoin signet! ₿🧪. A new algorithm for M31 multiplication by @avihu28 reduces multiplication cost by 70%! Once fully integrated into our OP_CAT-based Circle STARK verifier (link below), we expect.
6
16
84
What @KakarotZkEvm is.- a chain agnostic EVM proving engine.- built with Reth.- using @StarkWareLtd prover. What it is not.- another L2.- a starknet app chain. What it targets for the next 6 months.- real time block proving.- @Optimism chains integration.- @Starknet multi VM.
10
11
77
As @KakarotZkEvm testnet approaches, I’m reflecting on our biggest achievements since oct.22. It’s not yet another l2 zkEVM.It’s not only speed, security & fast new features. It’s the first _engineered_ zkEVM.It’s for client & prover diversity.It’s the ethereum of tomorrow
5
18
71
Even from an insider, it's hard to follow how blazingly fast is moving the @Starknet ecosystem. Strong ⚡️ L2 (👉👈) + one-click ⚡️ L3. Fractal scaling by @StarkWareLtd has never been sooo clooose.
We will soon be launching the Madara app ✨. This means you can deploy your @MadaraStarknet node blazingly fast (in one click to be precise) ⚡. You don't need to know anything about substrate, rust or even the CLI to be a part of the network. Just download and enter your name!
3
13
66
Thanks @StarkWareLtd for letting us presenting the last @KakarotZkEvm developments. Is the future of #zkEVM a high level #EVM in a #zkRollup ?.
1
15
63
Two zkEVMs built from scratch in less than a year, with an average of 4 FTE. This is why we’re bullish.
We are thrilled to announce the successful implementation of the EVM in Cairo 1.0! 🥕. We are now ready to embrace the upcoming innovations brought by the @Starknet community! 👨💻. The next step? Passing the official Ethereum test suite 🫡. In the meantime 🧵👇
0
25
57
🧮Learning #cairo, how to write a for loop ?. 😅Wait, wtf, there's *no* for loop?. 🤔Actually yes and no, a 🧵 on how to do it ⤵️.
1
10
65
omg just requesting KKRT from the newly added @KakarotZkEvm faucet on the @MadaraStarknet stack #StarknetStack
10
13
63
and guess what: EVM compatible in 2 months.
Starknet mainnet on fire 🔥.735 TPS peak. Can't be touched, can't be stopped.Can't be moved, can't be rocked.Can't be shook, we hot.
6
3
64
⛓On-chain NFTs are cool because they'll live _forever_. ☠️However their tokenURI is a mess, like writing jsonify by hand. Not only is it painful but also inefficient for composability. 🧐What about a new IERC721OnChain interface that implements a structured tokenData?
13
8
59
Simple maths of moon math. proving cost = number of cycles * proving cost / cycle. #cycles = depends on how "well" a given program turns into a list of bytecode of a given ISA.cost/cycle = base cost for proving a given ISA. Most of the competition nowadays focuses on cost/cycle🧐.
3
18
63
Polishing the output of the DECODE_INSTRUCTION function of the Cairo VM gs. See Relocatable is just a cell reference.Every spreadsheet user is a cryptographer. #CairoVM #Spreadsheet
1
25
54
Checking @l2beat L2 fees regularly since the merge, it looks like it stabilizes with @Starknet not only being the cheapest zk rollup 👏 but also being cheaper than @arbitrum😱. sub cents transfer and swap. More fun for less $. Bullish on @StarkWareLtd, sn stack and @KakarotZkEvm
9
13
55
17
9
58
There is a general misunderstanding of the term "zk is the endgame". proper spelling is "The K is the endgame". thank you for your attention
8
4
58
in zkEVM, it's easy to focus on zk and forget EVM. But EVM isn't just "being able to deploy some solidity in one way or another". At @KakarotZkEvm we've spent the last quarter focusing on the official @ethereum test suite, and getting them pass ⤵️.
3
11
52
Quite a few people asked me about how to deploy their own collection on @Starknet with @starksheet as I did last Friday for the @DustyPilots, so here it is⤵️. step-by-step no-code-required guide to deploy your own. wen mint @eniwhere_.
5
14
49
@Starknet Appchain in minute is becoming a reality 🤔. Becoming? 👀. @Starknet appchain HAS BECOME a reality 🚀. featuring @MadaraStarknet X @myBraavos X @starksheet (+ @class_lambda @StarkWareLtd @PragmaOracle). soon #StarknetExplorer
5
8
52
Slowly not no slowly the @KakarotZkEvm reaches more and more milestones. In the past few days we successfully deployed @transmissions11 Solmate's ERC20/721 and passed all their tests. 👀Do you also see @Uniswap V2 token here??👀
4
10
46
Starkware always one step further. and @KakarotZkEvm on its way to become the first Bitcoin L2 zkEVM. seed different.
Bitcoin's biggest challenge is scalability. StarkWare has a vision to change that. The concept of STARK scaling for blockchains was first introduced by @EliBenSasson at a Bitcoin conference in early 2013. It's now time to scale Bitcoin with ZK-STARK, making it more accessible
2
6
48
🏁Just finished my really first #Cairo "program"! (sum_by_key of @StarkWareLtd 's hello-cairo .🎯Studying yul (solidity assembluy) *before* jumping into cairo is a giga adv., pointer are everywhere.💾couldn't google a solution, will post it here soon
2
5
44
So *no*, kakarot is not _abandoning_ sn, though no deployment on mainnet should be expected soon. We’re 100% committed to making @StarkWareLtd tech shine for the @starknet and ethereum ecosystem. 2/3.
3
6
46
5
3
42
This screenshot is indeed the EVM starksheet deployed on Kakarot deployed on Madara, and the symbol of the success of open source, open contrib, and a (very) strong community gathered by @StarkWareLtd. “You come for the tech, you stay for the people”. #KeepStarknetStrange.
1
1
43
The code is now open sourced. You will understand verifiable programming.
3
6
42
Q4 is definitely growing season for @KakarotZkEvm .- 2022: kick start with @StarkWareLtd and @OnlyDust_com .- 2023: integrating @ethereum tests and reaching 100% compatibility.- 2024: gathering 2 years of learning in @CairoLang+EVM+🦀 to build keth our chain agnostic prover.👩🌾👩🌾.
2
6
41
First time I'm working on a project quoted "most realistic option" by vitalik!.
@Ramy_Saboungui Maybe! The most realistic option is creating a good intermediate language, and writing the ZK-EVM in that. There's a project doing that through @StarkWareLtd Cairo, it's cool!.
3
3
42
I have just released example code to deploy #siamesenets on production with @TensorFlow thanks to #tensorflowserving. Blazingly simple to use as a usual classifier➡️@fchollet @DynamicWebPaige.
0
9
39
Tests were currently running at @KakarotZkEvm for keth. Standalone EVM, no starknet just proof. Regular txs are around 100k to 200k cycles. 🤞🏼Eth blocks should be around 150x, say 50M cycles.🤞🏼🤞🏼Stwo on Cairo VM is MHz. 🧮🧱⏱️
5
8
37
.@KakarotZkEvm is ready to deliver the first Bitcoin L2 zkEVM. the right tech choices always bring lots more than expected.
A new milestone has been reached in our STARK over Bitcoin cooking 🧑🍳. The Stwo Verifier is now live on OP_CAT-enabled Bitcoin Signet 🤯. A small step for Bitcoin and a giant leap for STARK-kind! Tremendous collaboration with @weikengchen and @l2iterative.
2
3
39
The Cairo VM GS now passing Fibonacci, with the extra flavor of good spreadsheet-style visual hints. Next step: load a compiled program and some UX improvements.Then builtins and hints. => You're gonna love it
1
4
38
4
5
38
Well it took me far too much time but. Official @Everai X @OnlyDust_xyz X @starksheet collection is live 🔌. Follow this thread to pick your Dusty Pilot before the crowd gets crazy ⤵️.
15
9
35
Yesterday in a discussion with @ETazou about the Cairo VM, I told him "check the gs disassembler". - I've lost the link. So here you go Elias, is the new official link for the Cairo VM implementation in @googlesheets.
2
20
28
The next unexpected move: @MadaraStarknet and the initiation of the #StarknetStack. “If we work all together, we can deploy starknet L3 in 2 months”. And here we are. With even more contrib the stack has become a reality. Starknet is quantum. And I did the EVM starksheet.
1
3
27
Just sent my first tx with STRK fees instead of ETH. Probably like the bitcoin pizza story.
5
1
34
Now that we've merged AUTH+AUTHCALL #EIP3074 from @lightclients, @KakarotZkEvm is not only 100% EVM compatible. it's 150/148 = 101.4% EVM compatible. we just go beyond
7
3
31
The more I see @KakarotZkEvm evolving, the more I see it as an alternative to #reth+@Optimism+@SuccinctLabs. And it’s no surprises that we’re together the only one currently showcasing #EIP3074. Not yet another monolithic zkEVM but a generation @ethereum execution clients
1
2
29
Something is hidden in this screenshot. It's about DualVM for @starknet and interoperability between Starknet native and @KakarotZkEvm contracts and account
4
2
28
As stack matures, we’ll be able to deliver value for the sn user but, currently, it’s appeared not to be the best thing to do. In the meantime, we keep pushing the limits of @CairoLang to provide a best in class EVM prover, so that EVM txs will be cheap for both sn and EVM users.
0
0
29
Why I chose not to use usual #React libraries for #forms and how I wrote my own complex nested validated ones following the @reactjs official documentation.#javascript #reactjs @MaterialUI @JavaScriptDaily @theodo @sicara_fr #Redux.
1
16
27
Please don’t be fooled by “crypto” momentum. BTC ATH is the result of years of non compromising security. I can safely say that @KakarotZkEvm has spent more than any other in security, with ~20% of the whole treasury spent only in audits @zellic_io @code4rena.
2
3
29
I have seriously never written so many & well tested @CairoLang code in such a limited amount of time. yes, it's all fuzz-diff tested against the reference @ethereum implementation, by design. I need to say it AGAIN: this type system is🤯.@StarkWareLtd🥕@KakarotZkEvm🥕@Starknet
3
2
29
I think that this is by far my best creative to date, do I quote tweet myself.
4
1
28
These days I really feel like I’ve invented #jQuery of @CairoLang . It’s not yet react or vue, but damn it’s so good already. Current challenge is.1 FTE.1 Month.1st worldwide zk-native EVM.Follow
2
2
28
Neither @KakarotZkEvm nor @starknet, and most surely not myself, would have been here now without this constant support #OnlyDream.
What a year for @OnlyDust_xyz . -> 1 557 165$ granted to 362 developers.-> 3733 paid contributions.-> 3m$ raised from top-tier VC (@fabric_vc).-> 7 new soldiers in our team 🫡.-> 5 new ecosystems onboarded. We want to create a new way to reward open-source contributions, and we.
3
0
28
Most people won't understand this image, but because it's game changer I'm going to break it down ⤵️. And yes, I'm more and more skeptical about RISC-V based proving
4
3
28
Most of the people still don't understand what we're growing at @KakarotZkEvm (even in the team lol). proving cost = number of cycles * cost / cycle. VM AIR. where the ISA is hidden in the *. ⤵️.
3
3
26
I'm personally fully aligned with this vision of building a compiler from existing languages to new ISA, gg all. at @KakarotZkEvm we are working on zk-optimized ISA, not for every program, but for the EVM, targeting @StarkWareLtd Stwo next gen prover. zkevm/acc.
3/ Why doesn't Valida support Rust from the get go?. At Lita, we believe that using traditional hardware based ISA to develop zkVM software is not the optimal approach. Unlike other zkVMs such as SP1 and Risc Zero, which leverage the RISC-V ISA and benefit from existing compiler.
1
3
25
Recent technological breakthroughs combined with market conditions evolution require us to completely revamp our mental model. The most adapted tx cost unit on ethereum L2s has now become the TWC @TrumpWifCatSTRK . Ranging from 1 to 10 for most of the tx. zCat is the end game
2
3
23
Kakarot v0.8.4 has just been sent to @zellic_io auditors, including the latest Cairo (dual VM) and Messaging precompiles. In the meantime we'll work on benchmarking eth mainnet block proving like @SuccinctLabs and @RiscZero do. zkEVM = EVM + zkVM.
0
3
23
Doing some JIT EVM to @CairoLang compilation for @KakarotZkEvm , might give some speed up 👀🥕. yes, few know about it, but thanks to it's von neumann architecture the cairo vm enables jit by design very easily
2
2
22
Custom Cairo precompiles — stylus like — for @KakarotZkEvm are on their way and guess what, they are going to be butter smooth 🧈🥕🍴. yes, this is as simple as this call a plain Cairo contract from a solidity contract.
3
0
22
Just submitted my project with @abbeyjazzy for @encodeclub Hackathon: a DeFied expense sharing app leveraging Account Abstraction: any expense is a NFT that can be traded, swapped, multi currency by design and more, check out @GuthL @henrlihenrli.
0
4
22
Javascript lovers, the @KakarotZkEvm #CairoVMts is coming for you. custom hints in js by @malatrax . for the #CairoZero fam @StarkWareLtd @HerodotusDev @feltroidPrime
1
2
21
Tracing some end to end "blocks" in @KakarotZkEvm @swp0x0 .this is 1.8M steps for 3 transfers, 1 transferFrom + 1 approve, so ~360k/tx.I'd go for 500k/tx * 150tx/block = 75M cycles for the execution. ~45M cycles for the Trie.=> eth blocks around 120M to 200M cycles
2
4
24
Some back of the envelope stats based on latest @KakarotZkEvm results.- trie root computation ~7k cycle/leaf.- av. storage leaf/block ~1000.- av. account leaf/block ~500. x2 for intermediate nodes.x2 pre+post. => 7000 * 1500 * 2 * 2 => 42M cycles for state root proving
0
4
20
Today I'm working on merging both the integration on @vyperlang and @eniwhere_ PR on #EIP3074 so that we can have real test cases from contract to tx using it. It'll be included in the coming @KakarotZkEvm testnet. I love prod.
4
3
20
Then @ukolodny took the time to listen to my complains, and convinced me to stay around. November came. ETHLisbon and famous @OnlyDust_xyz X @briqNFT X @nodeguardians hacker house was turning into a true initiation rite while @GuthL told me about @ethereum grants. Wen Evmsheet?.
1
0
17
I just deployed my new CC0 on chain NFT project. But different⤵️. - dynamic writable programmable NFTs.- not only a collection but a collection generator.- scaling on #StarkNet . It’s not collectible, it’s not raffle, it’s not community based, it’s just. an on chain software.
We stealthy deployed this morning (no bots were watching 🤔👀🙄). So it’s all yours. Starksheet is not only a sheet, it’s your playground, an engine to read and write data on chain. You can use it for dashboarding, gaming, computing, your call. 🖥
1
3
15
For almost 3 months @chainlink #VRF #V2 has been available on #mainnet, but I could not find any comprehensive doc for #unittesting my contracts using it, so I've made it buckle up for a deep dive using @HardhatHQ and @wighawag 's #hardhat-deploy.
1
5
17
So magic is happening right now for the #NoCode community thanks to @TensorFlow and @glideapps: #MachineLearning columns directly available for image classification and more, see #MadeWithTFJS @jason_mayes.
5
7
18
I may not be the first one to say that zk proofs, their usage in rollups and especially #Starknet are the next big thing. But I’ll be the one coining the term;.Provably nothing.
1
1
18
We often read “zk is the end game”. Zk is not the endgame, the endgame is: everything meaningful is built onchain . Zk is a mean, and with kakarot we build on top of the best zk tech out there, from @StarkWareLtd.
Today is the DAY! 🥕. We’re super excited to announce that we’re entering our Public Whitelist Testnet phase: Kakarot Sepolia!. WTF is @KakarotZkEvm, and how to ape 🧵. Kakarot is an EVM-compatible ZK-Rollup built on the Cairo stack! On Testnet, Kakarot is a Ethereum Sepolia
2
1
18
@drakefjustin hopefully not only RISC-V based zkVM will enter the beam chain; I know some alternative with a strong track record 👀 cc @StarkWareLtd 🤝 @KakarotZkEvm.
2
0
16
I just spent a couple of days digging into prod-grade solution to the deployment of #Starknet @equilibrium_co pathfinder node. Why not some devops sometime?. Here's my takeaway and a tutorial for using AWS/Azure/GCP @dimahledba.
0
3
17
Just minted my first sets on @briqNFT; very nice xp; and pleased to see that on-chain is advocated more for composability than for longevity. This is where users will find the utmost value of web3 IMHO
1
1
16
The unexpected rise of @KakarotZkEvm just shoot us (all just anon contrib) to the moon faster than everything else. When I eventually got this EF grant in march. Kkt was a bit idle, good time to do it right?. If @dimahledba weren’t there with 1000 new projects/week, maybe!.
1
0
16
One of my favorite thing with our new @CairoLang X @ethereum framework is that the scaffolding is auto generated and test is immediately ✅ with the magic oracle function. Then, given the result, I can start thinking "ok so what are the constraints this needs to verify"
2
0
15
Can we just bring @JoeyStarr on @Starknet and revive #com8 #Only8Users @dimahledba and drop merch for the crew
6
1
16
It’s funny because we’re all 100% in OSS and bless the power of community AND we do it because “don’t trust, verify” !!. The watcher prover, the next thought already current breakthrough update in the @MadaraStarknet stack thanks to @class_lambda.
0
0
13
Consequently, all python functions have their exact same cairo counterpart, same signature, same types. Then, @cursor_ai pre-dev the corresponding implementation, tests are automatically generated. It's LLM based python-2-zkDSL transpilation, fuzz diff tested automatically.
1
3
16
🔨Just joined the @jericho_gg top builders team!.🧐After 1y of stealth deep diving into the EVM it's time to meet others.✨Now exploring #StarkNet for my next (big🤞) thing; still on-chain NFTs w/ supercharged composability and compute in your most fav. soft ever, can you guess?.
0
1
15
you're more than welcome! let's BUIDDL.
Hello everyone, had some good news to share. I have joined @KakarotZkEvm as a core dev, and I will be shipping a zk-evm with the super cool team!. More 👇
1
1
14
I like the fact that RISC-V zkVM teams all started by saying "prove everything out of the box" and continuously add patches to come up with good performances. they patching RISC-V.you patching crates. surely it's better than a dedicated ISA, e.g. brother @CairoLang 🤷.
RISC Zero's zkVM 1.2 introduces "application-defined" precompiles. Build high-performance ZK apps with precompiles that ship with your application, not the zkVM. No system updates. No coordination. Just go faster.
1
1
17
One year ago @RiscZero zeth paved the way for this new type of zkEVM. Aside our mainnet, @KakarotZkEvm will be releasing by the end of the year Keth, an alpha version of an OP chain prover based on Reth/ExEx, our Cairo EVM and best in class zk prover: @StarkWareLtd’s STWO.
Introducing 🔴 OP Succinct 🔴. After a fun collaboration with @SuccinctLabs and @OPLabsPBC, I'm excited to share OP Succinct — our minimal diff to upgrade an OP Stack chain to a full ZK rollup. Come inside and look around. 🧵
0
2
14
One of the most challenging part of on-chain NFTs, though often underrated, is to write a rendering function that fits in the 50M gas limit of most clients. This requires indeed to generate and manipulate very long strings to eventually concat them all. 1/🧵.
5
2
14