Academy of Crypto Security
ZKP-401/Lessons/01
Week 1~90 minLesson 1 of 6

Mathematical Foundations for ZK Audit

Finite fields, elliptic curves, polynomial commitments · From R1CS to PLONKish arithmetisation · A working mental model of KZG and FRI

01Objectives
  • 01Understand and apply: Finite fields, elliptic curves, polynomial commitments
  • 02Understand and apply: From R1CS to PLONKish arithmetisation
  • 03Understand and apply: A working mental model of KZG and FRI
01

Finite fields, elliptic curves, polynomial commitments

This section covers finite fields, elliptic curves, polynomial commitments. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

02

From R1CS to PLONKish arithmetisation

This section covers from r1cs to plonkish arithmetisation. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

03

A working mental model of KZG and FRI

This section covers a working mental model of kzg and fri. Content for this lesson is being developed by our practitioner team and will be available when the program launches.

02Exercises
  1. 01Complete the hands-on lab for mathematical foundations for zk audit.
  2. 02Review the provided case study and answer the reflection questions.
03Key takeaways
  • ✓Finite fields, elliptic curves, polynomial commitments
  • ✓From R1CS to PLONKish arithmetisation
  • ✓A working mental model of KZG and FRI