Chris @ethchris

Accomplished Barista Joined April 2015

Tweets

2K
Followers

8K
Following

101
Likes

956

powdr labs @powdr_labs

3 weeks ago

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 11K 15

View Details

powdr labs @powdr_labs

2 years ago

Join us in 1h! meet.jit.si/powdr-release

powdr labs @powdr_labs

2 years ago

💬 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!

0 0 8 4K 1

0 3 7 3K 0

View Details

Chris @ethchris

2 years ago

Go get it while it's fresh and come to our release party!

1 0 5 1K 0

View Details

Chris @ethchris

2 years ago

Modular zk multi-prover std-Rust with a functional language hidden inside? Oh yes!

powdr labs @powdr_labs

2 years ago

𝗔𝗻𝗻𝗼𝘂𝗻𝗰𝗶𝗻𝗴 𝗽𝗼𝘄𝗱𝗿𝗩𝗠 𝟬.𝟭! 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

7 31 115 18K 31

3 2 19 3K 3

View Details

Mate Soos @SoosMate

2 years ago

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

2 years ago

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

51 171 381 153K 32

0 1 11 2K 1

View Details

powdr labs @powdr_labs

2 years ago

51 171 381 153K 32

View Details

Chris @ethchris

3 years ago

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

3 years ago

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 ↓

96 292 468 230K 61

15 4 36 8K 1

View Details

Chris @ethchris

3 years ago

1 0 4 3K 0

View Details

Chris @ethchris

3 years ago

0 0 13 2K 5

View Details

Chris @ethchris

3 years ago

@harpaljadeja You reveal what the signature to the message looks like. This is much more than just proving that you know the private key.

0 0 1 152 0

View Details

Chris @ethchris

3 years ago

This a full example input for powdr. It verifies that a list of integers sums up to a provided value.

1 2 5 2K 0

View Details

Chris @ethchris

3 years ago

.@CPerezz19 just alpha-leaked POWDR: x.com/CPerezz19/stat… 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.eth ⟠ 🦀 @CPerezz19

3 years ago

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 8K 5

3 3 16 5K 6

View Details

Chris @ethchris

3 years ago

@CPerezz19 The future just became the present: github.com/chriseth/powdr… (although it does not cover all riscv opcodes yet)

0 1 2 205 0

View Details

CPerezz.eth ⟠ 🦀 @CPerezz19

3 years ago

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 8K 5

View Details

Leo Alt @leonardoalt

3 years ago

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/fu…

5 23 121 13K 41

View Details

Chris @ethchris

4 years ago

@mveehkim @mgrczyk It needs to do the shift in case something else is in the same storage slot, if you have `bool flag; address impl;`, for example. The old optimizer does not deal well with optimizing stack operations across sloads. Try the new one as @leonardoalt suggests.

0 0 1 56 0

View Details

Chris @ethchris

4 years ago

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 0 0

View Details

Chris @ethchris

4 years ago

@DeFinnTheFarmer The problem is that it actually IS easy to implement, but it's very likely to be used incorrectly with terrible consequences.

0 0 0 0 0

View Details

Chris @ethchris

4 years ago

@sendmoodz @big_tech_sux I'm not at all concerned about any compiler. I'm concerned about people writing buggy code or contracts not being composable anymore.

0 0 0 0 0

View Details

Chris @ethchris

4 years ago

@z0age A call to a smart contract using transient storage can have totally different semantics depending on whether or not another call to the same smart contract has happened in the same transaction. If you split the calls to two different transactions, it again behaves differently.