Druga edycja pierwszej w Polsce konferencji programistycznej poświęconej językowi Rust.

Dlaczego Rust ułatwia pisanie zero-knowledge proofs

Adam Smolarek

Jak wygląda budowanie zero-knowledge proof circuits w Rust na przykładzie halo2. Type system, MockProver, live demo na scenie.


Adam Smolarek to Rust developer z Krakowa. W blockchain od 2016, od trzech lat pisze zero-knowledge proof circuits w halo2. Prowadzi rustarians.com gdzie publikuje interaktywne tutoriale ZK z kodem Rust do uruchomienia w przeglądarce.

linkedin facebook instagram bluesky mastodon discord discord