ZisK v0.15.0 déplace le système vers une sécurité prouvée de 128 bits sans augmenter le temps de preuve. Cela est principalement rendu possible par une nouvelle arithmétisation Keccak. L'optimisation Keccak compense le coût supplémentaire introduit par des contraintes de récursion et de vérification plus fortes, permettant à la performance de preuve de bout en bout de rester comparable à v0.14.0, tout en réduisant la taille de la preuve finale à ~240 Ko. Lien vers la version :