NilFoundation · Rolaman · Dec 21, 2023 · Dec 21, 2023 · Dec 21, 2023 · Dec 21, 2023
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,10 @@
 # Created by https://www.toptal.com/developers/gitignore/api/c++,vim,cmake,latex,macos,jetbrains+all,python,visualstudiocode
 # Edit at https://www.toptal.com/developers/gitignore?templates=c++,vim,cmake,latex,macos,jetbrains+all,python,visualstudiocode
 
+### Proof-producer data ###
+scripts/proof_producer/db
+
+
 ### C++ ###
 # Prerequisites
 *.d

diff --git a/.gitmodules b/.gitmodules
diff --git a/CMakeLists.txt b/CMakeLists.txt