Chris
@ethchris
Followers
8K
Following
968
Media
92
Statuses
2K
Modular zk multi-prover std-Rust with a functional language hidden inside? Oh yes!.
ππ»π»πΌππ»π°πΆπ»π΄ π½πΌππ±πΏπ©π π¬.π!. 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 π.
4
2
16
RT @powdr_labs: We are excited to share that πππ€ππ labs is now an independent organization focused on the next generation of ZK tooling, seβ¦.
powdr.org
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...
0
196
0
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.
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
34
This a full example input for powdr. It verifies that a list of integers sums up to a provided value.
1
2
4
.@CPerezz19 just alpha-leaked POWDR: 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
A modular stack for zkVMs, with a focus on productivity, security and performance. - powdr-labs/powdr
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
15
RT @CPerezz19: Today, another awesome session on the ZK Vietnam Residency by @PrivacyScaling and @0xPARC . First @adria0 on Plaf(Plonkishβ¦.
0
10
0
RT @leonardoalt: I wanted to dive into the deepest details of zkRollups, so I'm writing a simple one from scratch and it's been extremely fβ¦.
github.com
An experimental progressive and fast zkRollup written in Rust, focused on performance, modularity, and applying cutting-edge Verifiable Computation proof systems. - leonardoalt/fusion
0
23
0
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
4
46
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.
0
0
6
Still of the same opinion on EIP-1153 (transient storage) as in my comments on the eth magicians thread in Summary: It's a very complicated feature that breaks invariants if implemented at the transaction level. It does more harm than good.
ethereum-magicians.org
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...
3
1
22
RT @solidity_lang: 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 tβ¦.
0
6
0
RT @SourcifyEth: We have an impact booth on the 3rd floor today! Thanks for @EFDevcon for the opportunity. Pass by for some stickers, sweeβ¦.
0
2
0
RT @LefterisJP: .@ethchris presenting multihop transfers on @CirclesUBI at @dappcon_berlin boat side stage β΅
0
4
0
RT @dappcon_berlin: π£ Speaker Announcement π£.ποΈ@ethchris will give a talk on ββModern Solidityββ.ποΈGet your ticket now: π .
0
1
0
And why in the world would you not like people who use your product (and thus know its problems best) help you improve it?.
1
1
3