github/powdr
1
1
Fork 0
mirror of https://github.com/powdr-labs/powdr.git synced 2026-01-09 14:48:16 -05:00
Code Issues Packages Projects Releases Wiki Activity

remove constraints blocks

Browse Source
This commit is contained in:
schaeff
2023-10-02 15:04:41 +02:00
parent 0047b191ab
commit a3ebf460fd
49 changed files with 771 additions and 872 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
README.md
View File

@@ -22,10 +22,10 @@ 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 PIL.
*powdr*-PIL can be used to generate proofs using multiple backends, such as:
*powdr*-pil can be used to generate proofs using multiple backends, such as:
- Halo2
- eSTARKs: *powdr*-PIL is fully compatible with the eSTARKS backend from Polygon Hermez,
- eSTARKs: *powdr*-pil is fully compatible with the eSTARKS backend from Polygon Hermez,
although not yet fully integrated in an automatic way.
- Nova: ongoing work.
- other STARKs: maybe?