zkhydra/.gitmodules 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
##############################
# Bugs                       #
##############################
[submodule "circom_civer"]
	path = tools/circom_civer
	url = https://github.com/costa-group/circom_civer.git

[submodule "circomspect"]
	path = tools/circomspect
	url = https://github.com/trailofbits/circomspect.git

[submodule "ecneproject"]
	path = tools/ecneproject
	url = https://github.com/franklynwang/EcneProject.git

[submodule "picus"]
	path = tools/picus
	url = https://github.com/Veridise/Picus.git

[submodule "r1cs-solver"]
	path = tools/r1cs-solver
	url = https://github.com/faulhornlabs/r1cs-solver.git

[submodule "zkfuzz"]
	path = tools/zkfuzz
	url = https://github.com/Koukyosyumei/zkFuzz.git

[submodule "gnark-lean-extractor"]
	path = tools/gnark-lean-extractor
	url = https://github.com/reilabs/gnark-lean-extractor.git

[submodule "tools/picus-gnark"]
	path = tools/picus-gnark
	url = https://github.com/Veridise/picus_gnark.git

[submodule "pilspector"]
	path = tools/pilspector
	url = https://github.com/Schaeff/pilspector.git

[submodule "sierra-analyzer"]
	path = tools/sierra-analyzer
	url = https://github.com/FuzzingLabs/sierra-analyzer.git

##############################
# Helpers                    #
##############################
[submodule "helpers/cvc5"]
	path = helpers/cvc5
	url = https://github.com/cvc5/cvc5.git

[submodule "helpers/rewriter"]
	path = helpers/rewriter
	url = https://github.com/mit-plv/rewriter.git
[submodule "tools/conscs"]
	path = tools/conscs
	url = https://github.com/jinan789/ConsCS.git