reliabs continue à rendre le monde plus facile à prouver - cette fois avec un déverrouillage majeur de l'efficacité pour la preuve par lots des hachages keccak qui sont utilisés de manière extensive dans les applications EVM.