Zero-Knowledge Proofs (ZKPs) are a peculiar but groundbreaking proposition in an accountability- and transparency-obsessed digital age: proving something to be true without underlying information ...

Repository meant to accompany the course Theory and Practice of Algorithms at the Hokkaido University, that I took in Summer 2020. Even though originally intended to only contain solutions and proofs ...

In the last couple of posts on the inverted transition-to-proofs course, I talked about course design, and in the last post one of the prominent components of the course was an assignment type that I ...

This repository contains a series of exercises in the Lean theorem prover that bridge mathematical logic with engineering applications. The work spans propositional logic, quantified statements, ...

Modern cryptographic protocols are essential for securing information across its entire lifecycle. Despite major theoretical and practical advances, their widespread deployment still faces ...