Georg Wiese e009331905 Add MockBackend (#2114) ...

Adds a basic mock prover that simply asserts that all constraints are
satisfied.

This first version has the following features:
- Polynomial constraints are verified.
- Speed is reasonable. For example, the RISC-V Keccak example is
verified in 0.087s.
- Error messages are good: It prints the relevant constraint and row,
and all relevant assignments.

Missing features:
- Machine connections (i.e., any lookups or permutations) are not yet
validated.
- Later-stage witnesses are not yet validated.

Caveats:
- We rely on `powdr_backend_utils::split_pil`, so lookups / permutations
*within* a namespace are ignored.

Example:
```
$ cargo run pil test_data/pil/fibonacci.pil -o output -f --prove-with mock
```

2024-11-19 20:46:46 +00:00

..

src

Add MockBackend (#2114)

2024-11-19 20:46:46 +00:00

Cargo.toml

Use jit compiler to generate fixed column values. (#1825)

2024-10-03 17:10:58 +00:00