Skip to main content
ZK-Lab logo

๐Ÿ‘‹ Welcome to the ZK-Lab at the University of Edinburgh, spearheaded by Markulf Kohlweiss. Our primary mission is to advance the frontiers of zero-knowledge protocols, ensuring utmost privacy without compromising on security or performance. Beyond this, we are also exploring other cutting-edge cryptographic techniques and trusted hardware solutions.
Our overarching aim? To foster a future where computations are private, secure, scalable, and decentralized.

๐Ÿฆ• Zero-knowledge proofs

Zero-knowledge proofs enable a prover to convince a verifier of the truth of a statement without revealing any additional information. They are a powerful tool for building secure and privacy-preserving systems.

Learn about ZK

๐Ÿ“ Provable security

Provable security is a tool that allows us to reason about the security of cryptographic protocols. This includes formally modeling a system and its desired security, and then mathematically proving that the system satisfies the desired security properties.

๐Ÿงž Privacy

Cryptography is a powerful tool for protecting privacy. It allows us to build systems that reveal as little information as possible, while still allowing the system to function correctly.

โšก๏ธ Trusted hardware

One way to build secure systems is to use trusted hardware. Trusted hardware is hardware that can be trusted to perform certain operations correctly, and to safeguard keys from attackers.