From Design to Benchmarking: BLAKE Hash AIR for the Stwo Prover

Name: From Design to Benchmarking: BLAKE Hash AIR for the Stwo Prover
Uploaded: 2025-06-30T09:10:00.000Z
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.

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.

Speaker

Stav Beno

Event

EthCC[8]

Date

June 30, 2025