aztec-packages icon indicating copy to clipboard operation
aztec-packages copied to clipboard

feat: Graph methods for circuit analysis (part 1)

Open DanielKotov opened this issue 6 months ago • 1 comments

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.

DanielKotov avatar Aug 13 '24 17:08 DanielKotov