quantstamp / halo2-analyzer

SMT 2023 Submission; license pending
52 stars 10 forks source link

ZKR-3523-Remove-Repeated-Lookup-Rows #44

Closed FatemehHeidari closed 6 months ago

FatemehHeidari commented 6 months ago

This PR enhances the handling of lookup tables by introducing the extract_lookups() function early in decompose_lookups_as_function(). This change consolidates previously repeated code into a single, efficient operation. This function utilizes HashSet to remove duplicate rows and improves the detection and storage of equivalent lookups within the LookupTable struct enhancing performance and maintainability.