Chris@ethchris

Accomplished Barista

Joined April 2015
92 Photos and videos
Chris retweeted
powdr labs@powdr_labs
Jul 3
Releasing powdr's yulc early: an experimental formally verified Yul to EVM compiler, in Lean. If it compiles your program, the EVM bytecode provably computes what the Yul semantics say. Still WIP, but the main correctness theorem is already machine-checked for a subset of Yul!
4
13
85
10,792
Join us in 1h! meet.jit.si/powdr-release
powdr labs@powdr_labs
30 Oct 2024
Replying to @powdr_labs
💬 Join our release party on 𝗢𝗰𝘁 𝟯𝟭 𝗮𝘁 𝟯𝗽𝗺 𝗨𝗧𝗖! Meet the powdr team, ask questions, and celebrate the launch with us. The link will be shared shortly before here on Twitter and in our Matrix chat. See you there!
3
7
3,264
Modular zk multi-prover std-Rust with a functional language hidden inside? Oh yes!
powdr labs@powdr_labs
30 Oct 2024
𝗔𝗻𝗻𝗼𝘂𝗻𝗰𝗶𝗻𝗴 𝗽𝗼𝘄𝗱𝗿𝗩𝗠 𝟬.𝟭! powdrVM combines multi-prover support, std Rust, modularity, and high performance, setting the stage for future-proof ZK applications. Read the details on our blog or follow this thread for a tl;dr 👇 powdr.org/blog/powdrvm
3
2
19
3,226
Go get it while it's fresh and come to our release party!
1
5
1,186
Chris retweeted
Mate Soos@SoosMate
1 Oct 2024
I am so proud of these folks, they have done an amazing job. Really cool tool. If you wanna do ZK, you gotta check powdr out. It's another level. NOT just for Ethereum or crypto -- you can do ANY program in it!
powdr labs@powdr_labs
1 Oct 2024
We are excited to share that 𝑝𝑜𝑤𝑑𝑟 labs is now an independent organization focused on the next generation of ZK tooling, security, and applied research. Read the full announcement on our blog or follow this thread for a tl;dr 👇 powdr.org/blog/powdrlabs
1
11
1,646
We are excited to share that 𝑝𝑜𝑤𝑑𝑟 labs is now an independent organization focused on the next generation of ZK tooling, security, and applied research. Read the full announcement on our blog or follow this thread for a tl;dr 👇 powdr.org/blog/powdrlabs

powdr labs, the beginning

powdr labs is now an independent organization focused on advancing ZK tooling and applied research, supported by key partners. We are building powdr, the most flexible and composable piece of open...

powdr.org
51
162
378
152,961
I'm thrilled to work on powdr, especially with this capable team! My hope is that it will amplify the already fast progress in the zk space by simplifying collaborations between isolated projects and making it easy to implement new research ideas.
powdr labs@powdr_labs
14 Jul 2023
Introducing 𝑝𝑜𝑤𝑑𝑟, a modular stack for zkVMs! Earlier this year, @ethchris, @vanderkriek & @leonardoalt started the 𝑝𝑜𝑤𝑑𝑟 project to improve zkVM tooling. With the continued support from the @ethereum Foundation, the team will soon become 𝑝𝑜𝑤𝑑𝑟 𝑙𝑎𝑏𝑠. More ↓
16
4
36
8,583
1
4
2,849
13
2,479
.@CPerezz19 just alpha-leaked POWDR: nitter.net/CPerezz19/status/16392… It is a zkVM toolkit that relies on user-extensible languages and multi-stage compilation and features fully automated witness generation. It can generate proofs for Rust code via riscv. github.com/chriseth/powdr
CPerezz.(gwei/eth) ⟠ 🦀
@CPerezz19
24 Mar 2023
Today, another awesome session on the ZK Vietnam Residency by @PrivacyScaling and @0xPARC . First @adria0 on Plaf(Plonkish Arithmetisation Format) + Powdr and Halo2
3
3
16
5,120
This a full example input for powdr. It verifies that a list of integers sums up to a provided value.
1
2
5
1,911
Today, another awesome session on the ZK Vietnam Residency by @PrivacyScaling and @0xPARC . First @adria0 on Plaf(Plonkish Arithmetisation Format) + Powdr and Halo2
3
10
45
8,399
I wanted to dive into the deepest details of zkRollups, so I'm writing a simple one from scratch and it's been extremely fun! It's quite modular, easy to change, and works end-to-end. I'm not in Denver, but if anyone wants to hack on it I'm happy to help! github.com/leonardoalt/fusio…

GitHub - leonardoalt/fusion: An experimental progressive and fast zkRollup written in Rust, focused...

An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems. - leonardoalt/fusion

github.com
5
23
121
13,091
Thank you so much for all your kind words in the last days! I will still be working on Solidity, I'm just taking more time to focus on some details and also branch out into other areas of research like FV and computational integrity.
4
3
47
Still of the same opinion on EIP-1153 (transient storage) as in my comments on the eth magicians thread in ethereum-magicians.org/t/eip… Summary: It's a very complicated feature that breaks invariants if implemented at the transaction level. It does more harm than good.

EIP-1153: Transient storage opcodes

I have written this EIP after having reviewed EIP-1087 (EIP-1087: Net gas metering for SSTORE operations) and its discussion (EIP-1087: Net storage gas metering for the EVM - #35 by Arachnid). I...

ethereum-magicians.org
3
1
23
Maybe a clarification: Of course this change is not that complicated to implement in an EVM interpreter, but it's a huge problem when reasoning about the correctness of smart contracts and understanding a smart contract system.
6
Full house at our Solidity booth! Come and meet us at the 3rd floor today at @EFDevcon for a chance to get to know our team, ask us any question and collect nice socks and stickers! 🧦✨
1
6
41
We have an impact booth on the 3rd floor today! Thanks for @EFDevcon for the opportunity. Pass by for some stickers, sweets, and swag 🔍
1
2
14
.@ethchris presenting multihop transfers on @CirclesUBI at @dappcon_berlin boat side stage ⛵
4
20
Chris retweeted
Dappcon
@dappcon
13 Jul 2022
📣 Speaker Announcement 📣 🎙️@ethchris will give a talk on ‘’Modern Solidity‘’ 🎟️Get your ticket now: 👉 dappcon.io/#Tickets and secure your admission to DappCon 2022. #DappCon22 #berlinblockchainweek
3
1
4
Load more