Contributor
@leonardoalt
repos
13
ecosystems
4
languages
commits
680
A framework for AI systems to write EVM bytecode and prove it safe, built on NethermindEth/EVMYulLean.
Performance and security acceleration for zkVMs.
A modular stack for zkVMs, with a focus on productivity, security and performance.
Compiles WebAssembly into a ZK friendly IR with infinite-registers and write-once memory.
Source for powdr.org
ZK proofs for Brainfuck execution using powdr
powdr application running Ethereum tests via revm
an extended polynomial identity language (PIL) in rust
A performant and modular zkVM framework built for customization and extensibility.
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.
