translator_vm Directory Reference

Files
	relation_correctness.test.cpp
	translator.fuzzer.hpp
	Contains common procedures used by the circuit builder fuzzer and the composer fuzzer.
	translator.test.cpp
	translator_circuit_builder.cpp
	Circuit Logic generation for Goblin Plonk translator (checks equivalence of Queues/Transcripts for ECCVM and Recursive Circuits)
	translator_circuit_builder.fuzzer.cpp
	translator_circuit_builder.hpp
	translator_circuit_builder.test.cpp
	translator_composer.fuzzer.cpp
	translator_fixed_vk.hpp
	translator_flavor.hpp
	translator_mini.fuzzer.cpp
	translator_prover.cpp
	translator_prover.hpp
	translator_proving_key.cpp
	translator_proving_key.hpp
	translator_verifier.cpp
	translator_verifier.hpp