Remco Bloemen

Adding a `Mutex` around the `WitnessCalculator` solves it. So `.clone()` on it is not actually safe. The clone call happens concurrently (because the types allow it). Forcing the clone to...

Looks like this was caused by expired caches forcing full rebuilds.

In addition to beefier runners, we should also run tests nightly/weekly to keep caches fresh.

Blocked on https://github.com/chronotope/chrono/issues/499

Blocked on https://github.com/bheisler/criterion.rs/issues/534

[This function](https://github.com/recmo/solmate/blob/2b0cf0c043a1933fb9018a95c8513bd7a5ac7d08/src/utils/BitwiseLib.sol#L13) is a nice example, the assembly block exists only because we want to go from `lt(-,-)` to `0` or `1` efficiently: ```solidity function ilog2(uint256 x) internal returns (uint256...

Think about the last rule some more. If the optimization pass turns `x ? a : b` into `(x ? a: 1) * (a - b) + b` and existing...

Note that excluding some inputs from the verification is also useful for succinctness. It is not blocked on ZK to be useful. Example use case: I have a large JSON...