zkhydra/pyproject.toml at main · zksecurity/zkhydra · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
[project]
name = "zkhydra"
version = "0.1.1"
description = "Run ZK circuit security tools"
readme = "README.md"
requires-python = ">=3.12"
dependencies = [
    "pyyaml>=6.0.3",
    "sympy>=1.14.0",
    "z3-solver>=4.16.0.0",
]

[project.optional-dependencies]
dev = [
    "black>=24.8.0",
    "isort>=5.13.2",
    "ruff>=0.8.0",
    "pre-commit>=3.5.0",
]

[build-system]
requires = ["setuptools>=64", "setuptools-scm", "wheel"]
build-backend = "setuptools.build_meta"

[tool.setuptools]
packages = ["zkhydra"]

[tool.black]
line-length = 80
target-version = ['py312']
exclude = '''
/(
    \.git
  | \.venv
  | build
  | dist
  | tools
  | bugs
  | output
)/
'''

[tool.isort]
profile = "black"
line_length = 80
skip_glob = ["tools/*", "bugs/*", "output/*", ".venv/*"]

[tool.ruff]
line-length = 80
target-version = "py312"
exclude = [
    ".git",
    ".venv",
    "build",
    "dist",
    "tools",
    "bugs",
    "output",
]

[tool.ruff.lint]
select = [
    "E",   # pycodestyle errors
    "W",   # pycodestyle warnings
    "F",   # pyflakes
    "I",   # isort
    "N",   # pep8-naming
    "UP",  # pyupgrade
    "B",   # flake8-bugbear
    "C4",  # flake8-comprehensions
    "SIM", # flake8-simplify
]
ignore = [
    "E501",  # line too long (handled by black)
    "B008",  # do not perform function calls in argument defaults
    "B904",  # raise from exception
]

[tool.ruff.lint.per-file-ignores]
"__init__.py" = ["F401"]  # unused imports in __init__.py files

[dependency-groups]
dev = [
    "isort>=6.0.1",
    "ruff>=0.14.14",
]