Midnight Privacy Implementation

.dockerignore

@@ -0,0 +1,43 @@
+# Keep Docker build contexts small (especially on developer machines).
+#
+# The Sovereign repo can accumulate large local artifacts (Rust targets, proof outputs, logs, etc.)
+# that are not needed for container builds and can make `docker build` unusable.
+
+# Rust build artifacts
+target/
+**/target/
+
+# Proof artifacts / caches
+proof_outputs/
+**/proof_outputs/
+proof_cache/
+**/proof_cache/
+
+# Logs
+logs/
+**/*.log
+
+# Local demo/runtime data
+demo_data/
+**/demo_data/
+
+# OS/editor junk
+.DS_Store
+**/.DS_Store
+.idea/
+**/.idea/
+.vscode/
+**/.vscode/
+
+# Git metadata (not needed for builds)
+.git/
+
+# Node artifacts (if present)
+node_modules/
+**/node_modules/
+dist/
+**/dist/
+
+# Large local checkouts (if present)
+ligero-vm/
+

.gitignore

@@ -13,6 +13,8 @@ target/
 demo_data/
 demo_data_1/
 demo_data_2/
+demo_data_tee/
+rollup_config_tee_local.toml
 
 docker/observability
 
@@ -43,3 +45,48 @@ constants_output.csv
 
 # Temporary test data files
 examples/demo-rollup/tests/resync/data/.tmp*
+crates/module-system/module-implementations/midnight-privacy/proof.data
+crates/module-system/module-implementations/midnight-privacy/midnight_core.txt
+crates/module-system/module-implementations/midnight-privacy/learn.txt
+crates/module-system/module-implementations/midnight-privacy/min_current_changes.txt
+crates/module-system/module-implementations/midnight-privacy/proof_data.gz
+crates/module-system/module-implementations/midnight-privacy/proof_data.bin
+proof_data.gz
+proof_data.bin
+proof_outputs/
+.env
+
+.env
+parallel_debug.txt
+parallel_debug.txt
+new_privacy_debug.txt
+midnight_privacy.txt
+diff_parallel.txt
+PARALLEL_TX_EXECUTOR_GUIDE.md
+crates/full-node/sov-sequencer/test_output.log
+proof_cache/
+.env
+examples/rollup-ligero/output.log
+cache_l2.txt
+examples/output.log
+examples/rollup-ligero/examples/rollup-ligero/output.log
+wallet_index.sqlite
+crates/utils/sov-indexer/fvk_config.json
+crates/mcp-external/logs/mcp-external.log
+prefunded_wallets*.jsonl
+.mcp-external-stress-session-ids.txt
+
+crates/adapters/tee/attestation_verifier/cmake_install.cmake
+crates/adapters/tee/attestation_verifier/CMakeFiles
+crates/adapters/tee/attestation_verifier/CMakeCache.txt
+crates/adapters/tee/attestation_verifier/Makefile
+crates/adapters/tee/attestation_verifier/_deps
+crates/adapters/tee/attestation_verifier/attestation.txt
+crates/adapters/tee/attestation_verifier/AttestationClient
+
+debug_spend_proof.txt
+bug_private.txt
+logs/mcp-external.log
+midnight_fvk_service.sqlite
+scripts/__pycache__
+tsink

.vscode/settings.default.json

@@ -1,11 +1,25 @@
 {
+  "terminal.integrated.env.osx": {
+    "PATH": "${env:HOME}/.cargo/bin:${env:PATH}"
+  },
+  "terminal.integrated.inheritEnv": true,
+  "terminal.integrated.defaultProfile.osx": "zsh",
+  "terminal.integrated.profiles.osx": {
+    "zsh": {
+      "path": "/bin/zsh",
+      "args": ["-l"]
+    }
+  },
   "rust-analyzer.cargo.targetDir": true,
   "rust-analyzer.cargo.extraEnv": {
     "SKIP_GUEST_BUILD": "1",
     "SP1_SKIP_PROGRAM_BUILD": "1"
   },
+  "rust-analyzer.runnables.extraEnv": {
+    "PATH": "${env:HOME}/.cargo/bin:${env:PATH}"
+  },
   "rust-analyzer.check.overrideCommand": [
-    "cargo",
+    "${env:HOME}/.cargo/bin/cargo",
     "check",
     "--message-format=json",
     "--profile",
@@ -14,13 +28,13 @@
     "--all-features"
   ],
   "rust-analyzer.cargo.buildScripts.overrideCommand": [
-    "cargo",
+    "${env:HOME}/.cargo/bin/cargo",
     "check",
     "--quiet",
     "--message-format=json",
     "--keep-going"
   ],
-  "rust-analyzer.rustfmt.overrideCommand": ["rustfmt", "+nightly", "--edition=2024", "--config-path=${workspaceFolder}/rustfmt.nightly.toml"],
+  "rust-analyzer.rustfmt.overrideCommand": ["${env:HOME}/.cargo/bin/rustfmt", "+nightly", "--edition=2024", "--config-path=${workspaceFolder}/rustfmt.nightly.toml"],
   "json.schemas": [
     {
       "fileMatch": ["bank.json"],