Week 4-5~90 minLesson 3 of 6
Soundness & Completeness Analysis
Proving soundness of a custom gate by hand · Fuzzing circuits with Picus and Coda · Writing proof-level specifications with ease of review
01Objectives
- 01Understand and apply: Proving soundness of a custom gate by hand
- 02Understand and apply: Fuzzing circuits with Picus and Coda
- 03Understand and apply: Writing proof-level specifications with ease of review
01
Proving soundness of a custom gate by hand
This section covers proving soundness of a custom gate by hand. Content for this lesson is being developed by our practitioner team and will be available when the program launches.
02
Fuzzing circuits with Picus and Coda
This section covers fuzzing circuits with picus and coda. Content for this lesson is being developed by our practitioner team and will be available when the program launches.
03
Writing proof-level specifications with ease of review
This section covers writing proof-level specifications with ease of review. 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 soundness & completeness analysis.
- 02Review the provided case study and answer the reflection questions.
03Key takeaways
- ✓Proving soundness of a custom gate by hand
- ✓Fuzzing circuits with Picus and Coda
- ✓Writing proof-level specifications with ease of review