ZKP (zero-knowledge proofs) is a method to prove the knowledge of some fact, without revealing that fact. It is already used in several blockchains and is expected to have a major impact on applications that involve transactions, identity systems, and proprietary information in general. ZKLux#1 is the perfect occasion to find out about this exciting and important new technology.
Venue: House of Startups / LHoFT, 9 Rue du Laboratoire, 1911 Luxembourg
Target Audience: Students, researchers and IT developers. Some mathematical background required.
14:00-15:20 Part 1: Introduction to Zero-Knowledge Proofs
1. Algebra Refresher, Elliptic Curves, Introduction to Cryptography Principles Alex Kampa, Sikoba Research
2. Mathematical Concepts of Zero Knowledge Proofs Vincenzo Iovino, University of Luxembourg
15:20-16:00 Part 2: Isekai Workshop Guillaume Drevon, Sikoba Research
1. Introduction to Isekai
2. From Code to Circuit to R1CS
3. Hands-on Tests
It is recommended to read First steps with isekai on Windows to prepare for this workshop.
16:15-17:00 Part 3: zk-SNARKs and Bulletproofs
Introduction to zk-SNARKs and Bulletproofs. Review of recent research on Bulletproof Optimisation - Dmitry Khovratovich, Sikoba Research
17:00-17:45 Part 4: What is Quantum Teleportation?
A Special Talk by Claude Crépeau, Co-inventor of Quantum Teleportation in 1993 (this has obviously nothing to do with Zero Knowledge).
Location: LHoFT, combined "Bajcsy" and "Tesla" meeting rooms on the 3rd floor
Attendance Limit: 25
Target Audience: C-level executives wishing to learn about the impact of Zero Knowledge proofs, managers in charge of technology and innovation, blockchain practitioners, professionals interested in data privacy.
Conference Program: The goal of the conference is to provide a wide-ranging overview of Zero Knowledge Proofs without requiring any prior technical knowledge.
09:30 Registration and coffee/pastries
10:00 Introduction Alex Kampa, Sikoba Research
10:30 Fantom: Consensus-as-a-Service Michael Chen, Fantom Foundation
10:45 Zero Knowledge is Crypto: 10 Mistakes You Will Probably Make and How to Avoid Them Dmitry Khovratovich, Sikoba Research
11:15 Why We Need Zero Knowledge Proofs: A History Including Blockchains Prof. Jean-Jacques Quisquater, UC Louvain
12:15 Lunch Break (club sandwich buffet, "mignardises", soft drinks)
13:35 Confidential Smart Contracts for Securities Emanuele Francioni, Dusk Network
14:05 Practical Applications of Zero Knowledge Proofs Guillaume Drevon, Sikoba Research
14:45 Multi-Party Zero Knowledge Proofs Prof. Claude Crépeau, McGill University
15:35 Coffee Break
16:00 Layer-2 Blockchain Solutions Using SNARKs Alex Gluchowski, Matter Labs
16:30 Non-Interactive Zero Knowledge and Its Applications, Including E-Voting Vincenzo Iovino, University of Luxembourg
17:00 Closing remarks
17:15 Cocktail reception
Practical Details: All talks will be recorded and later published on YouTube. A light lunch will be served to all conference participants. There will also be a coffee break in the afternoon as well as a networking cocktail after the conference.
Location: House of Startups, "Big Bang" room (level 0)
We still have sponsorship slots available, please contact one of the organisers for more information. We ask for financial contributions to cover organisational costs, as well as paying for catering and for speaker travel and accommodation.
Sikoba Research Sàrl (http://research.sikoba.com) is a Luxembourg company incorporated in October 2018 with the purpose to conduct fundamental and applied research in the areas of cryptography, blockchain and distributed systems. It is a sister company of Sikoba Ltd (http://www.sikoba.com) which is developing an IOU platform on blockchain.
Sikoba Research is developing Isekai, a verifiable computation framework that will
allow to work with several programming languages and verifiable computation
systems while using a single code-to-circuit module.
Our goal is to make the use of ZK proofs and verifiable computing as easy as possible, especially for non-specialists.