Skip to content
/ powdr Public
forked from AztecProtocol/powdr

an extended polynomial identity language (PIL) in rust

License

Notifications You must be signed in to change notification settings

pluto/powdr

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

powdr

Matrix Chat Twitter Follow

WARNING: This codebase is experimental and has not been audited. DO NOT USE FOR PRODUCTION!

For detailed documentation please visit the powdr book.

powdr is a toolkit that helps build zkVMs and similar proof frameworks.

It has two main components:

  • powdr-asm: an extensible assembly IR language to perform dynamic executions.
  • powdr-PIL: a low level constraint language that allows you to define arithmetic constraints, lookups, etc.

Both frontend and backend are highly flexible.

As an example, powdr contains a frontend that enables you to write code in (no-std) Rust, which is compiled to RISCV, then to powdr-asm and finally to powdr-PIL.

powdr-pil can be used to generate proofs using multiple backends, such as:

All stages are fully automatic, which means you do not need to write any additional code for witness generation besides your Rust code. All witnesses are automatically inferred from the constraints. Since the witnesses are inferred, powdr can ensure that the system is not underconstrained, i.e. there are no additional unwanted witnesses.

All artifacts from the compilation pipeline are human-readable. This means you can inspect the RISCV assembly files, the powdr-asm IR, and the compiled PIL file.

The assembly language is designed to be extensible. This means that it does not have a single native instruction. Instead, all instructions are user-defined and because of that, it is easy to adapt powdr assembly to any VM.

Notes on Efficiency

The current focus of the project is VM support and developer experience. The compiler generates many unnecessary columns. We will soon start writing optimizer steps that should bring performance closer to existing production systems.

Project structure

For an overview of the project structure, run:

cargo doc --workspace --no-deps --open

About

an extended polynomial identity language (PIL) in rust

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Rust 72.0%
  • Assembly 26.8%
  • C 1.2%