Lecture Notes

• Book on Zero-Knowledge Proofs

  Based on ZKDL Camp Course at Distributed Lab

  This is a series of lectures on zero-knowledge (ZK) proofs, conducted at Distributed Lab, in which we explore "from scratch" how modern zk-SNARKs such as Groth16, PlonK, GKR work, including all the mathematical components they rely on. The course covers not only ZK theory itself and its applications, but also the basic mathematics needed to understand ZK and cryptography in general.

  [Course Website]

• Finite Field Extensions: Existence and Uniqueness

  Mathematical Seminar at Kyiv School of Economics

  This small lecture is devoted to a quick glance at the structure of finite fields. One obvious well-known example of the finite field is $\mathbb{Z}/p\mathbb{Z}$, but is this the only possible finite field? We show that (i) finite fields are always of order $p^n$, (ii) such finite fields always exist, (iii) two finite fields of the same order are always isomorphic. In particular, (ii) and (iii) make notation $\mathbb{F}_{p^n}$ valid.
  [PDF Notes]

Talks & Presentations

• 🌿 Bionetta: Ultimate ZKML Framework

  Presentation of the client-side ZKML framework based on UltraGroth and R1CS arithmetization.

  [Slides]

• 🍁 UltraGroth: Interactive Groth16

  Overview of the UltraGroth protocol: Groth16 modification that enables lookup checks and sampling randomness.

  [Slides]

• 🐦 Nero: BitVM2-Based Optimistic Verifiable Computation on Bitcoin

  Research on implementing Bitcoin on-chain public verifiable computation scheme (based on BitVM2 research).

  [Slides]

• 📈 Elliptic Curve Optimizations. EC Pairing.

  Lecture about implementing Elliptic Curve (EC) operations efficiently. Basics of EC pairing.

  [Slides]

• 🧠 Introduction to Deep Learning

  What are neural networks. Their applications, basic dense neural network, demonstration of MNIST dataset training.

  [Slides]

• 😐 Deep Learning Applications to Biometric Analysis (in Ukrainian)

  Applications of Deep Learning to Biometric Analysis problem. Triplet Loss function, contrastive learning, face recognition models.

  [Slides]

Blogs

• UltraGroth Protocol Explained

  By Dmytro Zakharov, Lasha Antadze, Oleksandr Kurbatov

  [HackMD]

• Bionetta: Ultimate Client-Side ZKML. Technical Overview

  By Dmytro Zakharov, Lasha Antadze, Oleksandr Kurbatov

  [HackMD]