Week 2-3~90 minLesson 2 of 6
Circuit Languages & Common Bug Classes
Circom, Noir, and Halo2 — syntax and foot-guns compared · Under-constrained signals, missing range checks, aliasing · Non-determinism and the witness/constraint asymmetry
01Objectives
- 01Understand and apply: Circom, Noir, and Halo2 — syntax and foot-guns compared
- 02Understand and apply: Under-constrained signals, missing range checks, aliasing
- 03Understand and apply: Non-determinism and the witness/constraint asymmetry
01
Circom, Noir, and Halo2 — syntax and foot-guns compared
This section covers circom, noir, and halo2 — syntax and foot-guns compared. Content for this lesson is being developed by our practitioner team and will be available when the program launches.
02
Under-constrained signals, missing range checks, aliasing
This section covers under-constrained signals, missing range checks, aliasing. Content for this lesson is being developed by our practitioner team and will be available when the program launches.
03
Non-determinism and the witness/constraint asymmetry
This section covers non-determinism and the witness/constraint asymmetry. Content for this lesson is being developed by our practitioner team and will be available when the program launches.
02Exercises
- 01Complete the hands-on lab for circuit languages & common bug classes.
- 02Review the provided case study and answer the reflection questions.
03Key takeaways
- ✓Circom, Noir, and Halo2 — syntax and foot-guns compared
- ✓Under-constrained signals, missing range checks, aliasing
- ✓Non-determinism and the witness/constraint asymmetry