This talk offers a brief introduction to the fascinating world of Zero-Knowledge Proofs (ZKPs), exploring their fundamental concepts and real-world implications. We'll use an interactive demo to grasp the core idea: proving something is true without revealing anything about the underlying secret, as we delve into how these cryptographic marvels leverage randomness to achieve verifiable certainty – a compelling contrast to traditional deterministic proofs. Participant will discover how the surprising the link between ZKPs and NP-Complete problems offers a broad range of applications.

Istanbul 2025

agenda

talk

Solving the "It works on my machine" Problem!

Every developer has heard these frustrating words before. The struggle to maintain consistency across development environments in collaborative setups is a universal challenge. In this talk, we'll explore how to conquer this challenge using nix-shell — a powerful tool that can reshape how we manage and share development environments. The presentation step through the practical steps of setting up a flake.nix for a nix-shell that we can not only use for local development but also for CI/CD pipelines. We'll discuss how nix-shell stacks up against Docker as an alternative solution. Get ready to say goodbye to the "It works on my machine" conundrum and join a world of "It works on every machine".

Berlin 2023

agenda ▶ watch

Peter Neuroth

3 editions attended.

On stage.

Unveiling the Magic of Zero-Knowledge Proofs: From Waldo to Bitcoin's Future

Unveiling the Magic of Zero-Knowledge Proofs: From Waldo to Bitcoin's Future

Speakers

Solving the "It works on my machine" Problem!

Solving the "It works on my machine" Problem!

Speakers