reliaby nadále usnadňují dokazování světa - tentokrát s významným odemknutím efektivity pro dávkové dokazování keccak hashů, které se hojně používají v aplikacích EVM.