Zero Knowledge & Cryptography
From Design to Benchmarking: BLAKE Hash AIR for the Stwo Prover
Talk
Monday, June 30th 2025
11:10 - 11:30
taylor-stage-ws
Description
How do we translate a hash function into its Algebraic Intermediate Representation (AIR)? I'll break down the design of BLAKE Hash AIR for the new Stwo Prover, introduce its key innovations, and showcase benchmarks demonstrating its efficiency.