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:

ZisK has reached a major proving milestone for Ethereum. All Ethereum blocks are now being proven in real time, with an average proof time of about 7.5s

ZisK is quantum-resistant! 🛡️ We removed the elliptic curve dependency with a new secure challenge derivation, making ZK proofs safer for the quantum era. Read how we did it: Thank you @EllipticHector for putting this together. 🙏 #ZK #QuantumResistant #Blockchain @eth_proofs