Georg Wiese 2ee4a58881 Block Machine: Handle last row (#503) ...

* Block Machine: Handle last row

* Make Poseidon SM work with cyclic backends

* Introduce solver

* Refactor

* Format

* Comment code

* Bug fixes

* Refactor

* Fix bug fix

* Add logging

2023-08-18 10:08:21 +02:00

..

src

Block Machine: Handle last row (#503)

2023-08-18 10:08:21 +02:00

Cargo.toml

Add logging to witness generation code (#382)

2023-07-13 10:39:59 +02:00