|
| file | AvmMini_helper.hpp [code] |
| |
| file | AvmMini_trace.hpp [code] |
| |
| file | circuit_builder_base.hpp [code] |
| |
| file | goblin_translator_circuit_builder.cpp |
| | Circuit Logic generation for Goblin Plonk translator (checks equivalence of Queues/Transcripts for ECCVM and Recursive Circuits)
|
| |
| file | goblin_translator_circuit_builder.hpp [code] |
| |
| file | goblin_ultra_circuit_builder.hpp [code] |
| |
| file | standard_circuit_builder.hpp [code] |
| |
| file | ultra_circuit_builder.cpp |
| | This file contains the implementation of field-agnostic UltraCircuitBuilder class that defines the logic of ultra-style circuits and is intended for the use in UltraHonk and UltraPlonk systems.
|
| |
| file | ultra_circuit_builder.hpp [code] |
| |
