ZisK v0.15.0 moves the system to 128-bit proven security without increasing proving time. This is enabled primarily by a new Keccak arithmetization. The Keccak optimization offsets the additional cost introduced by stronger recursion and verification constraints, allowing end-to-end proving performance to remain comparable to v0.14.0, while reducing the final proof size to ~240 KB. Link to the release: