aztec-packages
aztec-packages copied to clipboard
feat: Graph methods for circuit analysis (part 1)
Create graph description for Ultra Circuit Builder.
The original idea was to create to directed graph for arithmetic circuit, that bases on Ultra Arithmetization.
The constructor creates graph based on blocks for ultra: arithmetic, elliptic, delta range and lookup. In the time of this process gate counter for every variable depends on gate. Also was created algorithm for finding connected components using depth first search algorithm.
Tests from ultra_curcuit_builder were being used for testing the prototype.
summary: there's a constructor for creating graph for Ultra Circuit Builder with additional algorithm for analyzing Circuit.