👋 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.
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.