Powdr: a modular stack for zkVMs

Name: Powdr: a modular stack for zkVMs
Duration: 16 min 1 s
Description: Leonardo Alt, who has led work on Solidity's formal verification tooling, presents Powdr at Devconnect Istanbul 2023, a modular stack for building zkVMs. The talk covers how a more modular approach to zero-knowledge virtual machines could make it easier for teams to build and customize their own zk-rollup execution environments.

Devconnect Istanbul 2023 · 14 Nov 2023 · 16:01

Leonardo Alt, who has led work on Solidity's formal verification tooling, presents Powdr at Devconnect Istanbul 2023, a modular stack for building zkVMs. The talk covers how a more modular approach to zero-knowledge virtual machines could make it easier for teams to build and customize their own zk-rollup execution environments.

Speakers

Leonardo Alt

Topics

Privacy
Zero-Knowledge Proofs

From Devconnect Istanbul 2023, hosted by Ethereum Foundation.