LICENSE.txt
README.md
pyproject.toml
setup.cfg
oraqle/__init__.py
oraqle/config.py
oraqle.egg-info/PKG-INFO
oraqle.egg-info/SOURCES.txt
oraqle.egg-info/dependency_links.txt
oraqle.egg-info/top_level.txt
oraqle/add_chains/__init__.py
oraqle/add_chains/addition_chains.py
oraqle/add_chains/addition_chains_front.py
oraqle/add_chains/addition_chains_heuristic.py
oraqle/add_chains/addition_chains_mod.py
oraqle/add_chains/memoization.py
oraqle/add_chains/solving.py
oraqle/circuits/__init__.py
oraqle/circuits/aes.py
oraqle/circuits/cardio.py
oraqle/circuits/median.py
oraqle/circuits/mimc.py
oraqle/circuits/sorting.py
oraqle/circuits/veto_voting.py
oraqle/compiler/__init__.py
oraqle/compiler/circuit.py
oraqle/compiler/func2poly.py
oraqle/compiler/graphviz.py
oraqle/compiler/instructions.py
oraqle/compiler/poly2circuit.py
oraqle/compiler/arithmetic/__init__.py
oraqle/compiler/arithmetic/exponentiation.py
oraqle/compiler/arithmetic/subtraction.py
oraqle/compiler/boolean/__init__.py
oraqle/compiler/boolean/bool_and.py
oraqle/compiler/boolean/bool_neg.py
oraqle/compiler/boolean/bool_or.py
oraqle/compiler/comparison/__init__.py
oraqle/compiler/comparison/comparison.py
oraqle/compiler/comparison/equality.py
oraqle/compiler/comparison/in_upper_half.py
oraqle/compiler/control_flow/__init__.py
oraqle/compiler/control_flow/conditional.py
oraqle/compiler/nodes/__init__.py
oraqle/compiler/nodes/abstract.py
oraqle/compiler/nodes/arbitrary_arithmetic.py
oraqle/compiler/nodes/binary_arithmetic.py
oraqle/compiler/nodes/fixed.py
oraqle/compiler/nodes/flexible.py
oraqle/compiler/nodes/leafs.py
oraqle/compiler/nodes/non_commutative.py
oraqle/compiler/nodes/unary_arithmetic.py
oraqle/compiler/nodes/univariate.py
oraqle/compiler/polynomials/__init__.py
oraqle/compiler/polynomials/univariate.py
oraqle/examples/depth_aware_comparison.py
oraqle/examples/depth_aware_equality.py
oraqle/examples/long_and.py
oraqle/examples/small_comparison.py
oraqle/examples/small_polynomial.py
oraqle/examples/visualize_circuits.py
oraqle/examples/wahc2024_presentation/1_high-level.py
oraqle/examples/wahc2024_presentation/2_arith_step1.py
oraqle/examples/wahc2024_presentation/3_arith_step2.py
oraqle/examples/wahc2024_presentation/5_code_gen.py
oraqle/examples/wahc2024_presentation/rebalancing.py
oraqle/experiments/depth_aware_arithmetization/execution/cardio_circuits.py
oraqle/experiments/depth_aware_arithmetization/execution/comparisons.py
oraqle/experiments/depth_aware_arithmetization/execution/equality_first_prime_mods_exec.py
oraqle/experiments/depth_aware_arithmetization/execution/poly_evaluation_pareto_front.py
oraqle/experiments/depth_aware_arithmetization/execution/veto_voting_per_mod.py
oraqle/experiments/oraqle_spotlight/examples/and_16.py
oraqle/experiments/oraqle_spotlight/examples/common_expressions.py
oraqle/experiments/oraqle_spotlight/examples/equality_31.py
oraqle/experiments/oraqle_spotlight/examples/equality_and_comparison.py
oraqle/experiments/oraqle_spotlight/examples/t2_comparison.py
oraqle/experiments/oraqle_spotlight/experiments/veto_voting_minimal_cost.py
oraqle/experiments/oraqle_spotlight/experiments/comparisons/comparisons_bench.py
oraqle/experiments/oraqle_spotlight/experiments/large_equality/large_equality.py
tests/test_circuit_sizes_costs.py
tests/test_poly2circuit.py
tests/test_sugar_expressions.py