Civic / Privacy / Digital Rights
Structural Infrastructure for Cognitive Liberty: An Exhaustive Analysis of Decentralized AI, Cryptographic Privacy, and Censorship-Resistant Protocol Ecosystems
Report summary
Cognitive liberty—the fundamental right of individuals to maintain uncoerced control over their own mental processes, consciousness, and intellectual inquiry—faces structural risks in an era characterized by centralized compute infrastructure, cloud-hosted artificial intelligence APIs, and pervasive
Key topics
- Civic / Privacy / Digital Rights
- Civic
- Privacy
- Digital Rights
- AI
- Agentic Web
- .NET
- Python
- Runtime
Research provenance
For citation, use the report title and canonical URL. Archival presence does not establish authorship or promote report statements into portfolio evidence.
This page renders the archived Markdown as safe, formatted HTML. It is background research and does not become a portfolio claim without evidence review.
Full report
On this page
Cognitive liberty—the fundamental right of individuals to maintain uncoerced control over their own mental processes, consciousness, and intellectual inquiry—faces structural risks in an era characterized by centralized compute infrastructure, cloud-hosted artificial intelligence APIs, and pervasive network monitoring. When access to knowledge processing, search, and reasoning engines depends on centralized intermediaries, institutional actors acquire the structural capacity to observe, filter, manipulate, or abruptly terminate cognitive activities. Relying on institutional promises, corporate terms of service, or statutory regulations is insufficient to safeguard intellectual autonomy, as institutional incentives inevitably lean toward monitoring, content moderation, and monetization. To establish cognitive liberty as an immutable systemic property, the underlying technical architecture must enforce privacy and access structurally. This report provides an exhaustive investigation into technical organizations, open-source AI frameworks, local execution runtimes, cryptographic privacy primitives, decentralized networking stacks, and supply-chain ecosystems that collectively establish an unassailable infrastructure for human thought.
Threat Taxonomy, Vector Evaluation, and Structural Resistance Principles
Centralized cognitive platforms exhibit systemic failure modes that allow corporate and sovereign entities to monitor, manipulate, and censor intellectual inquiry. Establishing structural resilience requires defining these vectors and mapping them directly to non-coercible technical mitigations.
Structural Evaluation of Cognitive Liberty Threat Vectors
- Network-Level Blocking: Centralized traffic inspection regimes leverage Deep Packet Inspection (DPI) and IP/port filtering at internet service provider (ISP) chokepoints to block access to unapproved AI endpoints or knowledge repositories1. Mitigating network-level blocking requires packet-transformation protocols, multi-hop onion and garlic routing, and cover-traffic mixnets that obscure traffic signatures and render protocol identification mathematically intractable1.
- Domain Seizure: Institutional control over top-level domain (TLD) registries within the ICANN framework permits state authorities to execute administrative seizures of domain names, instantly rendering cloud-hosted tools inaccessible5. Structural defense relies on cryptographic root-zone naming protocols deployed over distributed ledgers, where ownership is enforced via private key signatures rather than legal jurisdiction5.
- App-Store Removal: Centralized mobile platform duopolies maintain absolute authority over binary distribution, enabling rapid deplatforming of privacy-preserving tools or local LLM interfaces under administrative pressure8. Defense requires decentralized, content-addressed package distribution platforms, side-loading runtimes, and peer-to-peer package repositories9.
- Payment Chokepoints: Commercial API access relies on traditional banking networks, credit card processors, and centralized payment rails, allowing financial institutions to deny service to users conducting sensitive research1. Structural mitigation requires local hardware execution with zero ongoing operational costs, peer-to-peer bandwidth monetization, and cryptographic payment channels1.
- Compromised Maintainers: Open-source projects can be hijacked through targeted coercion, account compromise, or social engineering of lead maintainers, resulting in backdoored software releases14. Structural defense requires multi-signature release authorization, public commit logging, and independent binary reproducibility checks across distinct builder environments14.
- Software Supply Chain Poisoning: Vulnerabilities injected into deep dependency trees or malicious code introduced during binary compilation can silently compromise local execution environments9. Mitigating supply-chain attacks necessitates functional package management paradigms with explicit cryptographic input hashes and fully bootstrapped, self-hosting compilers9.
- Metadata Leakage: Even when message payloads or AI prompts are encrypted, unencrypted transport metadata—including packet timing, file size distributions, and communication endpoints—allows passive network adversaries to construct comprehensive user profiles1. Defense requires cryptographic transport decoupling, fixed-length packet padding, and intentional decoy traffic generation1.
- Malicious Relays: Decentralized overlay networks face risks from hostile nodes deployed to intercept, alter, or deanonymize traffic passes3. Mitigating malicious relays requires end-to-end multi-layer encryption (onion/garlic routing), directory authority validation, and cryptographic cover-traffic algorithms1.
- Sybil Attacks: Adversaries can spin up thousands of low-cost virtual nodes to gain dominant control over decentralized routing networks or peer-to-peer DHTs, facilitating traffic correlation or eclipse attacks1. Structural defense requires cryptographic proof-of-work, rate-limited identity tokens, or stake-weighted validator topologies1.
- Collusion: Multi-party computation or federated node structures fail if participant subsets secretly pool data to deanonymize users or reconstruct private state20. Defense requires threshold cryptography, non-collusion assumptions distributed across legally and geographically distinct entities, or single-server mathematical privacy primitives20.
- Local-Device Compromise: Physical seizure, local malware, or cold-boot attacks can expose unencrypted prompts, model weights, and context caches stored in local RAM29. Defense requires hardware-enforced encrypted execution enclaves, volatile memory scrubbing, and zero-knowledge local state attestation29.
- State Seizure: Physical raids on centralized data centers or cloud server farms allow authorities to seize infrastructure, access logs, and persistent user databases11. Mitigating state seizure requires serverless peer-to-peer topologies, distributed blockweave archives, and ephemeral, memory-only routing protocols11.
- Dependency Abandonment: Open-source privacy tools frequently stall when core maintainers lose funding or exit the project, leaving unpatched security flaws35. Defense relies on open standard specifications published through neutral standards bodies, enabling independent developers to rebuild interoperable implementations35.
Structural Decoupling Framework
Establishing cognitive liberty requires decoupling three operational vectors: user identity (who is asking), query payload (what is being asked), and host environment (where computation occurs). Decoupling identity from query content ensures that intercepted network traffic cannot be linked to a specific individual19. Decoupling computation from centralized remote hosts ensures that inference runtimes operate locally or within verifiable cryptographic enclaves where state actors cannot alter outputs or deny service13.
| Cognitive-liberty threat | Technical approach | Standard | Organization | Project | Limitation |
|---|---|---|---|---|---|
| Network-level blocking | Mixnet packet transformation & multi-hop cover traffic | IETF Draft / Sphinx | Nym Technologies | Nym Mixnet | Latency overhead; requires active node bandwidth incentives1 |
| Domain seizure | Cryptographic root-zone naming on distributed ledgers | Handshake RFC / BIPs | Handshake Alliance | Handshake (HNS) | Lacks native browser resolution without light clients or DNS resolvers5 |
| App-store removal | Content-addressed software distribution & P2P package stores | IPFS / CIDv1 | Protocol Labs | IPFS (Kubo) | Pinning availability dependencies; lack of native OS execution sandbox10 |
| Payment chokepoints | P2P bandwidth monetization & offline local compute | ERC-20 / Native token | HOPR Association | HOPR | Token volatility; network bootstrapping liquidity requirements1 |
| Compromised maintainers | Declarative, deterministic source-to-binary bootstrapping | Reproducible Builds / Nix | NixOS Foundation | NixOS | Steep learning curve; large binary build caching dependencies9 |
| Software supply chain | Functional package management with explicit SHA-256 inputs | GNU Software Spec | GNU Project | GNU Guix | Smaller package selection relative to traditional Linux distributions14 |
| Metadata leakage | Decoupled client-gateway transport proxying | RFC 9458 (OHTTP) | IETF / Cloudflare / Fastly | Oblivious HTTP | Relies on complete non-collusion between Relay and Gateway operators20 |
| Malicious relays | Onion routing with cryptographic circuit rotation | Tor Protocol Spec v3 | The Tor Project | Tor Network | Vulnerable to end-to-end global passive adversary timing correlation3 |
| Sybil attacks | Proof-of-Stake validator staking & rate-limited tokens | Privacy Pass RFC | IETF / W3C Privacy Pass | Rate-Limited Tokens | Cryptographic setup complexity; rate-limiting trade-offs1 |
| Collusion | Multi-Party Computation & Private Information Retrieval | FHE / PIR Specs | Academic / Open Source | Spiral PIR | High server compute overhead on large database sizes27 |
| Local-device compromise | Hardware TEE memory encryption & remote attestation | Intel SGX / AMD SEV Spec | Confidential Computing Cons. | Gramine LibOS | Vulnerable to microarchitectural hardware side-channel attacks29 |
| State seizure | Distributed immutable blockweave storage | Arweave Protocol Spec | Arweave Team | Arweave | Immutable data cannot be deleted; scaling storage proof verification11 |
| Dependency abandonment | Immutable, standardized specs with no external RPCs | Matrix / W3C Standards | Matrix.org Foundation | Matrix | State growth bloat in large federated rooms35 |
Domain-by-Domain Architectural Deep Dives
Local AI Execution Engines and Model Safety Formats
Local artificial intelligence execution represents the primary defense against prompt surveillance and remote capability revocation13. When an inference engine operates entirely on local hardware, network-level monitoring cannot observe the user’s intellectual inquiries, and cloud providers cannot alter system prompts, censor responses, or revoke model access13. The open-weight ecosystem relies on standardized binary storage formats to prevent code execution vulnerabilities during weight ingestion52. Historically, PyTorch models relied on Python pickle files, which presented severe security risks because unpickling arbitrary binaries can execute malicious code on the host operating system. The widespread adoption of Safetensors resolved this vulnerability by storing tensor data in a zero-copy format that forbids executable code within the file structure52.
Local Application / UI │ ▼ (In-Process IPC / Local Unix Domain Socket) Local Inference Runtime (llama.cpp / vLLM) │ ▼ (Zero-Copy Mmap) Safe Model Files (SafeTensors / GGUF Quantized Weights)
For consumer-grade hardware execution, quantization formats such as GGUF enable multi-billion parameter large language models to run efficiently on low-bit integer precision (e.g., INT4, INT8) across CPU and GPU memory spaces13. Execution engines like llama.cpp utilize optimized matrix multiplication kernels written in C/C++ without external network dependencies, ensuring fully air-gapped, offline inference13. High-throughput serving environments leverage runtimes like vLLM, which employ PagedAttention mechanisms to manage key-value cache memory dynamically with minimal fragmentation55. Local model execution nonetheless introduces second-order risks. If the underlying host operating system or software supply chain is compromised, an attacker can read unencrypted RAM caches or modify quantized model weights to bias outputs. Consequently, local AI execution must be combined with deterministic software builds and hardware-level memory protection.
Confidential Computing and Private Remote Inference
When model size exceeds local hardware capacity (e.g., 405B+ parameter models), inference must be offloaded to remote compute nodes without exposing prompts or context windows to server administrators25. Confidential Computing addresses this challenge by leveraging hardware-enforced Trusted Execution Environments (TEEs), such as Intel SGX and AMD SEV-SNP29. A TEE establishes an encrypted CPU enclave that isolates executing code and data in memory from the host operating system, hypervisor, and physical infrastructure operators29. Cryptographic remote attestation allows a client to verify that the remote enclave is executing an unmodified binary before establishing a Transport Layer Security (TLS) connection terminated directly inside the enclave30. Library Operating Systems (LibOS) such as Gramine and enclave runtimes like Enarx abstract these hardware primitives, enabling standard inference engines (e.g., PyTorch, vLLM) to execute inside SGX/SEV environments without source code modification29.
Client Terminal Remote Cloud Server Host
\[ Prompt Input \] \[ Unverified Host OS / Hypervisor \] │ │ ├─ 1\. Request Hardware Attestation Quote ──────────────────────────\>│ │\<─ 2\. Return Signed Hardware Quote \+ Enclave Hash ─────────────────┤ │ │ \[ Verify Hardware Root-Key & Code Hash \] │ │ │ │============== 3\. Establish End-to-End TLS Channel \===============\>│ (Terminated IN Enclave) │ (Encrypted with Enclave Key) │ │ ▼ │ HARDWARE TRUSTED ENCLAVE (TEE) │ (Intel SGX / AMD SEV-SNP) │ \- Executes Unmodified Model Engine ├─ 4\. Send Private Prompt ──────────────────────────────\>│ \- Host OS Cannot Read Enclave RAM │ │ │\<─ 5\. Return Private Output ────────────────────────────┘
Beyond TEE hardware enclaves, multi-party cryptographic private inference utilizes Multi-Party Computation (MPC) and Fully Homomorphic Encryption (FHE)25. Homomorphic encryption systems, such as THOR or Iron, allow remote servers to perform neural network forward passes directly over encrypted ciphertexts60. The server calculates mathematical logit outputs without ever decrypting the input tokens, offering a rigorous cryptographic guarantee: [Figure omitted from source export] Where [Figure omitted from source export] represents the input prompt, [Figure omitted from source export] represents the homomorphic encryption operation under client key [Figure omitted from source export], and [Figure omitted from source export] denotes the neural network layers60. Although FHE introduces computational latency overhead relative to native GPU execution, algorithmic developments (e.g., PermLLM, STIP) continue to reduce these overheads, improving the viability of private remote inference over wide area networks25.
Private Information Retrieval, Zero-Knowledge Proofs, and Identity Protocols
Surveillance of human thought frequently occurs during knowledge retrieval—such as querying reference databases, reading documentation, or searching encyclopedic archives. Traditional database queries reveal exact user interest vectors to server operators. Private Information Retrieval (PIR) mitigates this vector by enabling a client to fetch record [Figure omitted from source export] from a database of size [Figure omitted from source export] stored on an untrusted server without revealing which record was requested27. Single-server cryptographic PIR protocols, such as Spiral and Piano, utilize homomorphic encryption and sublinear preprocessing structures27. In Spiral, query construction leverages lattice-based Learning With Errors (LWE) assumptions to compress query payloads and achieve high-rate data retrieval28. Piano achieves sublinear server computation costs ([Figure omitted from source export] or [Figure omitted from source export] online) by preprocessing random chunk hints, lowering the computational threshold for private search across large repositories64.
Client Untrusted Database Server (Holds N Database Items) \[ Index desired: i \] │ │ │ ├─ 1\. Construct Encrypted Query Vector (Spiral / Piano) ───────────\>│ \[ Matrix Multiplications \] │ (Query hides index i homomorphically) │ \[ Over All N Items \] │ │ │\<─ 2\. Return Compact Homomorphic Response Buffer ──────────────────┘ │ \[ Decrypt Response using Private Key \] \[ Reconstruct Item i \]
When interacting with digital platforms, identity verification often requires proving authorization, age, or access rights without disclosing personal identity attributes. Selective Disclosure protocols and Zero-Knowledge Proofs (ZKPs) allow users to present verifiable assertions while keeping underlying credentials private67. The W3C Verifiable Credentials Data Model 2.0 incorporates cryptosuites such as BBS+ Signatures67. BBS+ utilizes pairing-friendly elliptic curves to allow an identity holder to receive a credential containing [Figure omitted from source export] signed attributes, and subsequently generate a proof disclosing only a specific subset of attributes (selective disclosure) while proving credential authenticity without revealing the issuer's signature or unrevealed fields67. For general verifiable computation, Zero-Knowledge Virtual Machines (zkVMs) such as SP1 and RISC Zero compile arbitrary Rust source code into RISC-V instruction binaries, executing them inside a prover that outputs a succinct ZK proof ([Figure omitted from source export])70. This allows a user to prove they executed a complex inference or data transformation locally without revealing the underlying private inputs.
Transport Decoupling, Censorship-Resistant Networking, and Secure Messaging
Network protocols that rely on direct IP-to-IP connections allow internet service providers and monitoring agencies to construct user communication graphs through metadata analysis1. Oblivious HTTP (OHTTP, RFC 9458\) addresses this by decoupling the client's IP address from query content20. In an OHTTP system, the client encrypts a request using Hybrid Public Key Encryption (HPKE) directed to a Target Gateway's public key20. The client transmits this encrypted payload to an independent Relay20. The Relay observes the client's network IP address but cannot read the encrypted request20. The Relay forwards the payload to the Target Gateway, which decrypts and processes the request20. The Target Gateway receives the query content but only observes the Relay's IP address20. Provided the Relay and Gateway do not collude, request content remains decoupled from client network identity20.
Client Application Relay Node Target Server / Gateway (e.g., Cloudflare) (e.g., Fastly / App Server) \[ Encrypt payload with \] \[ Sees Client IP \] \[ Sees Encrypted Payload \] \[ Target Public Key \] \[ Cannot Read Payload \] \[ Unaware of Client IP \] │ │ │ ├─ 1\. Encrypted Request ────────\>│ │ │ (HPKE Encapsulated) │ │ │ ├─ 2\. Forward Encrypted Request ──\>│ │ │ ├─ \[ Decrypt Payload \] │ │ ├─ \[ Process Query \] │ │\<─ 3\. Encrypted Response ─────────┤ │\<─ 4\. Forward Response ─────────┤ \[ Decrypt Output \]
For asynchronous communication, centralized messaging platforms expose long-term user identifiers (e.g., phone numbers, public key handles) stored on centralized infrastructure76. Modern censorship-resistant protocols eliminate these structural chokepoints:
- SimpleX Chat: Operates via unidirectional messaging queues managed over the SimpleXMQ protocol19. It eliminates global user identifiers; pairwise connection queues are established using temporary correlation IDs, preventing server operators from constructing long-term graph connections19.
- Briar: Designed for internet-denied environments, Briar operates without central infrastructure by routing messages over peer-to-peer mesh connections via local Bluetooth, Wi-Fi, or Tor hidden services8.
- Reticulum Network Stack: An autonomous cryptographic mesh networking stack designed for low-bandwidth, high-latency channels (e.g., LoRa packet radio, amateur radio, local Wi-Fi)34. Reticulum uses identity-based routing where destination addresses are public keys, facilitating self-configuring mesh topologies80.
Data persistence in censorship-resistant architectures relies on Content-Addressed Storage (CAS)10. Unlike location-based URLs (https://example.com/file), which are subject to domain seizure or host deletion, CAS references items by their cryptographic hash (e.g., IPFS CIDv1)6. This guarantees content immutability and allows files to be fetched from any peer hosting the data across networks like IPFS, Filecoin, or Arweave11.
Software Supply Chain Preservation and Reproducible Infrastructures
A critical attack vector against cognitive liberty is software supply chain poisoning. If an adversary introduces malicious code into an open-source inference engine, compiler, or operating system kernel during binary distribution, local hardware protections can be bypassed14. Functional package managers, such as GNU Guix and NixOS, address this vulnerability by implementing deterministic software deployment models9. In traditional operating systems, package managers modify shared system directories (/usr/bin, /lib), creating non-deterministic environments influenced by historical updates9. In contrast, Nix and Guix build software inside isolated environments where all dependencies are declared as explicit, immutable cryptographic hashes (e.g., /nix/store/\<hash\>-package-name)9.
Declarative System Specification (\/etc/nixos/configuration.nix\) │ ▼ \[ SHA-256 Source Hash Verification \] ──\> Downloads exact code tagged by immutable commit hash │ ▼ \[ Hermetic Sandbox Build Environment \] ─\> Zero access to non-declared host paths or network sockets │ ▼ \[ Immutable Output Store Path \] ────────\> Output path: \/nix/store/a8f3...12bc-llama-cpp-b2304\
GNU Guix extends this paradigm by providing a fully bootstrapped compiler toolchain14. Traditional compilers face risks from binary seed backdoors, where a binary compiler silently injects malicious code during build steps without altering source code. Guix mitigates this risk by reducing binary bootstraps to a minimal, human-auditable Scheme seed, building the software stack (from GCC and glibc to local inference runtimes) deterministically14. Independent build nodes compile source inputs and verify that resulting binary SHA-256 hashes match identically15.
Comprehensive Technological Directory and Protocol Catalog
This directory catalogs key projects, engines, specifications, and cryptographic platforms necessary to implement structural cognitive liberty.
Domain 1: Local AI Execution Engines and Model Safety Formats
| Project Name | Project URL & Source Repository | Governing Organization & Maintainers | License | Technical Requirements | Threat Model & Limitations | Audits & Papers | Current Deployment Examples |
|---|---|---|---|---|---|---|---|
| llama.cpp | https://github.com/ggerganov/llama.cpp | ggml-org / Georgi Gerganov | MIT | CPU/GPU (Metal, CUDA, Vulkan); 4GB-128GB RAM | Protects against remote prompt surveillance; vulnerable to host memory extraction13 | Open-source audits; arXiv:2308.1292013 | Offline desktop runtimes; LM Studio; Jan.ai13 |
| vLLM | https://vllm.ai / github.com/vllm-project/vllm | UC Berkeley / vLLM Team | Apache 2.0 | NVIDIA GPU / AMD ROCm (16GB+ VRAM) | High-throughput serving engine; susceptible to local side-channel timing leaks55 | SOSP '23 paper; continuous CI auditing55 | Private corporate inference nodes; local cluster serving51 |
| Ollama | https://ollama.com / github.com/ollama/ollama | Ollama Inc. / Community | MIT | Cross-platform desktop runtime; 8GB+ RAM | Wraps llama.cpp into a local REST API; vulnerable if local port is exposed13 | Internal security reviews51 | Local developer workstations; self-hosted UI wrappers13 |
| Safetensors | https://huggingface.co/docs/safetensors | Hugging Face | Apache 2.0 | Rust / Python runtime | Prevents arbitrary code execution present in Python pickle files52 | Security audited by Trail of Bits52 | Default weight format across Hugging Face Hub52 |
| GGUF Spec | https://github.com/ggml-org/ggml/blob/master/docs/gguf.md | ggml-org | MIT | Specification format | Single-file extensible metadata; requires engine implementation support53 | Formal specification documentation86 | Standard quantized file format for edge LLMs53 |
| MLC-LLM | https://mlc.ai / github.com/mlc-ai/mlc-llm | TVM Community / Carnegie Mellon | Apache 2.0 | Vulkan/WebGPU/iOS/Android | Enables cross-platform hardware-accelerated local compilation88 | Academic research papers (TVM)88 | Mobile LLM execution; WebGPU browser models88 |
| Apache TVM | https://tvm.apache.org | Apache Software Foundation | Apache 2.0 | Compiler infrastructure | Deep learning compiler; high build configuration complexity88 | ASF Governance audits88 | Edge machine learning deployment toolchains88 |
| SGLang | https://github.com/sgl-project/sglang | LMSYS / SGLang Team | Apache 2.0 | NVIDIA GPU clusters | Fast execution engine for complex workflows; requires local GPU setup61 | arXiv:2312.0710461 | Multi-turn structured agent execution61 |
Domain 2: Decentralized Compute, Private Inference, and Confidential Enclaves
| Project Name | Project URL & Source Repository | Governing Organization & Maintainers | License | Architecture & Standards | Threat Model & Limitations | Audits & Papers | Current Deployment Examples |
|---|---|---|---|---|---|---|---|
| Petals | https://petals.dev / github.com/bigscience-workshop/petals | BigScience Workshop / Yandex | Apache 2.0 | Swarm Parallelism over DHT | Distributed inference; intermediate nodes observe activation vectors23 | NeurIPS '23 paper89 | Public collaborative LLM inference pools89 |
| Exo | https://github.com/exo-explore/exo | Exo Explore Team | GPL-3.0 | Peer-to-peer Apple Silicon cluster | Local device aggregation; restricted to local private networks93 | Open-source public repository93 | Home hardware cluster LLM serving93 |
| Darkbloom | https://canonical.cc | Canonical Crypto Labs | Proprietary / Open | Verification layer over Exo | Adds economic verification to P2P compute; protocol token dependency94 | Lab whitepaper94 | Experimental verification pools94 |
| Gramine | https://gramineproject.io / github.com/gramineproject/gramine | Confidential Computing Cons. / Intel | LGPL-3.0 | Intel SGX LibOS Architecture | Protects code/data from host OS; susceptible to SGX side-channels29 | Third-party audits by KuppingerCole47 | Enterprise enclave container deployments47 |
| Enarx | https://enarx.dev / github.com/enarx/enarx | Confidential Computing Cons. / Profian | Apache 2.0 | WASM on SGX / AMD SEV-SNP | Hardware-independent deployment; WASM memory layout overhead29 | CCC Governance security reviews47 | Multi-cloud confidential WASM execution29 |
| EGo | https://edgeless.systems / github.com/edgelesssys/ego | Edgeless Systems | GPL-3.0 | Go framework for Open Enclave | Simplifies building confidential Go microservices; constrained to SGX31 | Independent cryptographic audits32 | Confidential financial microservices32 |
| Open Enclave | https://openenclave.io / github.com/openenclave/openenclave | Linux Foundation | MIT | Hardware Abstraction SDK | C/C++ cross-TEE abstraction layer; maintenance dependent on consortiums29 | LF Security Best Practices31 | Heterogeneous enclave SDK integration32 |
| THOR | https://arxiv.org/abs/2501.00000 | Moon et al. / Academic | Academic | Transformer-tailored FHE Scheme | Mathematical privacy guarantees; high latency on long token sequences60 | arXiv:2501.xx preprint60 | Academic private inference prototypes60 |
| PermLLM | https://arxiv.org/abs/2605.25716 | PermLLM Research Team | Academic | Feature-space Permutation | Fast private inference over WAN; non-zero leakage bound on activation patterns25 | arXiv:2605.2571655 | Low-latency private LLM cloud serving55 |
| STIP | https://arxiv.org/abs/2603.01499 | STIP Research Group | Academic | 3-Party Computation (3PC) | Decouples feature matrices; requires non-collusive multi-party assumptions25 | arXiv:2603.0149925 | Multi-party private LLM evaluations25 |
Domain 3: Cryptographic Privacy, PIR, ZK-DSLs, and Identity
| Project Name | Project URL & Source Repository | Governing Organization & Maintainers | License | Protocol Standard | Threat Model & Limitations | Audits & Papers | Current Deployment Examples |
|---|---|---|---|---|---|---|---|
| Piano PIR | https://github.com/wuwuz/Piano-PIR-new | Academic / Shi et al. | MIT | Sublinear Single-Server PIR | Hides database queries from server; requires client hint storage63 | USENIX Security '24 paper66 | Private search index prototypes63 |
| Spiral PIR | https://github.com/menonv/spiral | Wu & Menon / Stanford | Apache 2.0 | FHE Lattice Composition PIR | Fast response retrieval; heavy server CPU/GPU compute load27 | IEEE S\&P '22 paper28 | Private streaming database retrieval28 |
| mpc4j | https://github.com/alibaba-edu/mpc4j | Alibaba Edu / Security Team | Apache 2.0 | Multi-Party Computation Library | Cryptographic toolbox; high framework abstraction overhead64 | Open-source security audits97 | Academic MPC research benchmarks97 |
| SP1 zkVM | https://github.com/succinctlabs/sp1 | Succinct Labs | Apache 2.0 / MIT | RISC-V ZK Proving Architecture | Proves execution integrity of Rust code; memory overhead during proving70 | Audited by Sigma Prime73 | Verifiable off-chain compute rollups70 |
| RISC Zero | https://github.com/risc0/risc0 | RISC Zero Inc. | Apache 2.0 | STARK/SNARK RISC-V | Verifiable execution proofs; requires GPU clusters for fast proving71 | Audited by Netz; academic papers100 | Bonsai proving service; zk-coprocessors71 |
| Circom | https://github.com/iden3/circom | iden3 / PSE Community | GPL-3.0 | R1CS Circuit Compilation | Compiles custom arithmetic circuits; manual constraint writing risks bugs103 | Audited across Web3 ecosystems105 | Tornado Cash circuits; Semaphore identity104 |
| Noir | https://github.com/noir-lang/noir | Aztec Network | Apache 2.0 | Plonk / Honk Proof System | Rust-like domain language for ZK; ecosystem tools still maturing103 | Audited by ABDK & Trail of Bits108 | Aztec private smart contracts105 |
| Halo2 | https://github.com/zcash/halo2 | Electric Coin Company | MIT / Apache 2.0 | Recursive ZK-SNARK | Eliminates trusted setups; complex recursive math onboarding105 | Audited by NCC Group107 | Zcash protocol; EZKL zkML backend107 |
| EZKL | https://github.com/zkonduit/ezkl | EZKL Team / ZKonduit | MIT / Apache 2.0 | zkML Inference Verification | Verifies ONNX execution in ZK; limited scale on multi-billion parameter LLMs109 | Security documentation110 | Verifiable AI decision generation109 |
| SpruceID | https://spruceid.com / github.com/spruceid | Spruce Systems | Apache 2.0 | W3C VC 2.0 / DID Specs | Self-sovereign identity storage; relies on mobile secure enclaves67 | Open-source code reviews67 | Cross-border digital identity wallets67 |
Domain 4: Transport Decoupling, Secure Messaging, and Anonymous Networking
| Project Name | Project URL & Source Repository | Governing Organization & Maintainers | License | Transport & Encryption Spec | Threat Model & Limitations | Audits & Papers | Current Deployment Examples |
|---|---|---|---|---|---|---|---|
| ohttp (Go) | https://github.com/confidentsecurity/ohttp | Confident Security / IETF | MIT | RFC 9458 (Oblivious HTTP) | Decouples IP transport from payload; relies on Relay/Gateway non-collusion20 | Audited by NCC Group75 | Private telemetry in mobile applications26 |
| SimpleX Chat | https://simplex.chat / github.com/simplex-chat/simplex-chat | SimpleX Chat Ltd | AGPL-3.0 | SimpleXMQ Messaging | Removes user account IDs; server queue analysis under global adversary19 | Audited by Trail of Bits77 | High-privacy personal communication76 |
| Briar | https://briarproject.org / code.briarproject.org/briar | Briar Project | GPL-3.0 | P2P Mesh over Bluetooth/Wi-Fi | Functions during internet blackouts; higher battery drain during mesh routing8 | Audited by Cure5377 | Activist communications in blackout zones8 |
| Session | https://getsession.org / github.com/oxen-io/session-android | OPTF (Oxen Foundation) | GPL-3.0 | Session Protocol over Lokinet | Onion-routed messaging without phone numbers; crypto node incentives76 | Audited by Quarkslab77 | Anonymized mobile communication115 |
| OpenMLS | https://openmls.tech / github.com/openmls/openmls | OpenMLS Team | Apache 2.0 / MIT | RFC 9420 (MLS) | End-to-end encryption for large groups; requires central message delivery service37 | Audited by Cryspen37 | Enterprise secure group communications37 |
| Tor Network | https://torproject.org / gitlab.torproject.org/tpo | The Tor Project | BSD-3-Clause | Tor Protocol Spec v3 | Anonymous circuit routing; vulnerable to global passive traffic correlation3 | Audited continuously by researchers43 | Tor Browser; secure drop submission portals43 |
| I2P | https://i2p.net / github.com/i2p/i2p.i2p | The I2P Project | Apache 2.0 / GPL | Garlic Routing Architecture | P2P internal hidden service network; slower outproxy performance3 | Academic reviews; ReCo-I2P research22 | Internal anonymous file distribution4 |
| Nym Mixnet | https://nymtech.net / github.com/nymtech/nym | Nym Technologies | Apache 2.0 | Sphinx Mixnet Packet Standard | Obfuscates metadata using delayed traffic timing; introduces packet latency1 | Audited by Oak Security12 | NymConnect VPN proxy infrastructure1 |
| HOPR | https://hoprnet.org / github.com/hoprnet/hoprnet | HOPR Association | GPL-3.0 | Incentivized Mixnet | Obfuscates metadata using proof-of-relay staking; token economic volatility1 | Audited by ChainSecurity12 | Private Web3 RPC transport routing1 |
| Reticulum | https://reticulum.network / github.com/markqvist/Reticulum | Mark Qvist / Unsigned Byte | MIT | Reticulum Network Stack (RNS) | Infrastructure-free crypto mesh; limited bandwidth over radio bands34 | Community audited; open specification81 | Off-grid radio comms; Sideband mesh34 |
Domain 5: Decentralized Name Resolution, Storage, and Software Infrastructure
| Project Name | Project URL & Source Repository | Governing Organization & Maintainers | License | Standard / Architecture | Threat Model & Limitations | Audits & Papers | Current Deployment Examples |
|---|---|---|---|---|---|---|---|
| Handshake | https://handshake.org / github.com/handshake-org/hsd | Handshake Alliance | MIT | Cryptographic DNS Root Zone | Resists domain seizure; requires dedicated light resolvers5 | Protocol whitepaper; audited6 | Decentralized top-level domain hosting5 |
| ENS | https://ens.domains / github.com/ensdomains/ens-contracts | ENS Labs / DAO | MIT | Smart Contract Naming | Decentralized lookup; relies on Ethereum gas fees and RPC nodes5 | Audited by ConsenSys Diligence133 | Decentralized web publishing pointers6 |
| IPFS (Kubo) | https://ipfs.tech / github.com/ipfs/kubo | Protocol Labs | MIT / Apache 2.0 | Content-Addressed Storage | Immutable file retrieval; files disappear if not pinned by active nodes10 | Audited by Trail of Bits39 | Distributed web hosting; package mirrors11 |
| Arweave | https://arweave.org / github.com/arweaveteam/arweave | Arweave Team | GPL-3.0 | Blockweave Permanent Storage | Permanent data storage; payload retention cannot fulfill deletion rights11 | Protocol security audits33 | Permanent web archive preservation11 |
| NixOS | https://nixos.org / github.com/NixOS/nixpkgs | NixOS Foundation | MIT / X11 | Functional Package Management | Eliminates non-deterministic builds; large build cache requirements9 | Reproducible Builds project tracking15 | Secure infrastructure deployment40 |
| GNU Guix | https://guix.gnu.org / git.savannah.gnu.org/cgit/guix.git | GNU Project | GPL-3.0+ | Bootstrapped Scheme Manager | Protects against compiler binary backdoors; smaller package repository14 | Reproducible Summit verified14 | Hardened scientific computing environments14 |
| Flower | https://flower.ai / github.com/adap/flower | Adap / Flower Labs | Apache 2.0 | Federated AI Training | Aggregates weights without raw data transfer; sensitive to privacy leaks135 | Academic publications (arXiv:2007.14390)135 | Distributed medical model training136 |
| PySyft | https://openmined.org / github.com/OpenMined/PySyft | OpenMined | Apache 2.0 | Differential Privacy | Protects raw data during collaborative training; complex setup140 | OpenMined security audits140 | Privacy-preserving research studies140 |
| FedML | https://fedml.ai / github.com/FedML-AI/FedML | TensorOpera Inc. | Apache 2.0 | Distributed Computing | Scalable federated learning; cloud orchestration dependencies in enterprise136 | IEEE survey papers136 | Cross-silo enterprise model training139 |
| Matrix | https://matrix.org / github.com/matrix-org/matrix-spec | Matrix.org Foundation | Apache 2.0 | Federated Real-Time Comms | Interoperable messaging standard; state growth synchronization overhead35 | Audited by NCC Group50 | Decentralized team communications35 |
System Maturity Pipeline and Deployment Readiness Assessment
Deploying tools to safeguard cognitive liberty requires assessing their operational maturity. Technologies classified as production-ready can be deployed immediately in high-risk environments, whereas emerging and research-stage systems require additional hardening before relying on them for critical privacy preservation.
Tier 1: Mature Infrastructure (Recommended for Immediate Deployment)
- Local AI Inference Engines: Runtimes such as llama.cpp, vLLM, and Ollama provide stable, performant local model execution13. When combined with Safetensors binary model formats, they eliminate reliance on centralized commercial APIs and protect against remote code execution vulnerabilities52.
- Anonymity Routing and Secure Messaging: The Tor Network and I2P remain industry standards for onion and garlic network routing3. For pairwise communication, SimpleX Chat and Briar offer complete metadata isolation and off-grid operational capabilities8.
- Deterministic Operating Systems: NixOS and GNU Guix provide functional, declarative package management, ensuring software build pipelines can be independently verified and deterministically reproduced9.
Tier 2: Emerging Production Infrastructure (Requires Integration Expertise)
- Transport Decoupling Protocols: Oblivious HTTP (RFC 9458\) is fully standardized and deployed across major edge infrastructure providers (e.g., Cloudflare, Fastly), but requires client-side software integration to separate transport identity from backend request processing20.
- Confidential Computing Abstractions: Gramine LibOS and Enarx allow standard Linux executables to run inside Intel SGX and AMD SEV enclaves29. While deployed in production cloud environments, they require ongoing monitoring for low-level CPU hardware side-channel vulnerabilities31.
- General-Purpose ZK Provers: Runtimes like SP1 and RISC Zero allow arbitrary code execution proofs70. Prover costs continue to decrease, making them viable for verifiable data transformations, though proving large model passes remains computationally intensive100.
Tier 3: Experimental and Research Frontiers (Active Cryptographic Hardening)
- Sublinear Private Information Retrieval: Protocols such as Piano PIR and Spiral PIR provide strong mathematical guarantees for private database search27. However, high server CPU utilization and memory bandwidth demands currently limit large-scale commercial deployment27.
- Fully Homomorphic Private Inference: FHE frameworks (e.g., THOR) enable homomorphic evaluation of neural networks without host decryption60. Although cryptographically sound, processing latency restricts practical application to low-parameter models60.
- Decentralized Swarm Inference: P2P inference platforms like Petals successfully distribute model execution across untrusted peers, but require additional cryptographic hardening to prevent activation-vector privacy leakage and protect nodes against malicious weight manipulation23.
Proposed Technology Directory Architecture for CognitiveLiberties.com
To advance structural cognitive liberty, the following directory structure is proposed for CognitiveLiberties.com. This catalog is designed as an open resource for developers, researchers, and journalists deploying censorship-resistant technologies.
Category 1: Local Compute & Reasoning Engines
- Execution Runtimes: llama.cpp (C/C++ CPU/GPU quantization engine), vLLM (PagedAttention high-throughput server runtime), Ollama (Local REST runtime wrapper)13.
- Model Security Formats: Safetensors (Zero-copy execution-safe tensor storage), GGUF Specification (Extensible quantized metadata format)52.
- Heterogeneous Compilers: Apache TVM (Automated deep learning compiler toolchain), MLC-LLM (Cross-platform WebGPU/Vulkan engine)88.
Category 2: Confidential Inference & Hardware Isolation
- Trusted Execution Enclaves: Gramine LibOS (Intel SGX Library OS abstraction), Enarx (WASM architecture for SGX/SEV-SNP), EGo (Confidential Go software development kit)29.
- Homomorphic Private Inference: THOR (Transformer-tailored homomorphic encryption), PermLLM (Feature-space permutation protocol), STIP (3-Party computation inference)25.
- Enclave Development Frameworks: Open Enclave SDK (Hardware-independent enclave interface), Confidential Containers (Cloud Native Computing Foundation TEE runtime)95.
Category 3: Private Retrieval, Zero-Knowledge Proofs & Identity
- Private Information Retrieval: Piano PIR (Sublinear online single-server PIR), Spiral PIR (Lattice-based homomorphic PIR framework), mpc4j (Multi-party computation library)27.
- Zero-Knowledge Virtual Machines: SP1 zkVM (RISC-V proving system), RISC Zero (STARK/SNARK execution prover), EZKL (Zero-knowledge machine learning verifier)70.
- Domain Circuit Languages: Circom (R1CS arithmetic circuit compiler), Noir (Aztec privacy language), Halo2 (Recursive zero-knowledge proof system)103.
- Selective Disclosure Identity: SpruceID (W3C credential toolkit), W3C Verifiable Credentials 2.0 (Data model specification), BBS+ Cryptosuites (Pairing-based selective disclosure signatures)67.
Category 4: Transport Decoupling & Censorship-Resistant Networking
- Oblivious Transport Proxies: Oblivious HTTP (RFC 9458 Go Implementation) (Transport-decoupled query proxying)20.
- Metadata-Masking Mixnets: Nym Mixnet (Sphinx packet delay mixnet), HOPR Network (Incentivized privacy routing network)1.
- Anonymous Overlay Networks: Tor Network (Onion routing infrastructure), I2P (Garlic routing internal network)3.
- Autonomous Mesh Stacks: Reticulum Network Stack (Cryptographic identity-based mesh networking), LXMF (Loose-connection message transport), Briar Mesh (Off-grid Bluetooth/Wi-Fi mesh)8.
Category 5: Accountless Secure Messaging & Decentralized Naming
- Accountless Messaging Protocols: SimpleX Chat (Pairwise queue messaging protocol), Session Protocol (Onion-routed decentralized messaging)19.
- Group Cryptography Standards: Messaging Layer Security (RFC 9420\) (Scalable end-to-end group encryption)37.
- Decentralized Naming Systems: Handshake HNS (Cryptographic DNS root-zone network), Ethereum Name Service (ENS) (Smart contract domain registry)5.
Category 6: Immutable Storage, Federated AI & Reproducible Systems
- Content-Addressed Storage: IPFS (Kubo) (Peer-to-peer content-addressed file system), Filecoin (Incentivized storage verification layer), Arweave (Blockweave permanent archival storage)10.
- Secure Federated Learning: Flower Framework (Federated model aggregation system), PySyft (Differential privacy remote execution library), FedML (Distributed compute orchestration platform)135.
- Deterministic System Build Tools: GNU Guix (Fully bootstrapped functional package manager), NixOS (Declarative, reproducible Linux distribution)9.
By integrating these technological layers—executing models locally or within enclave environments, fetching reference data using private information retrieval, proxying transport through oblivious relays, and validating identities via zero-knowledge selective disclosure—the infrastructure supporting human inquiry achieves structural resilience against centralized surveillance and control.
Works cited
1. Targeted Privacy Tools (Threat Level) \- PrivacyTools.io, https://privacytools.io/apps/targeted
2. Jaya Klara Brekke: 'Know who runs your infrastructure', https://blog.okfn.org/2025/07/16/jaya-klara-brekke-know-who-runs-your-infrastructure/
3. Technical Introduction | Docs | EN \- I2P, https://i2p.net/en/docs/overview/tech-intro/
4. i2p Networks, Tor and Freenet Features: Pros \+ Cons | Cybrary, https://www.cybrary.it/blog/i2p-networks-tor-freenet-features-pros-cons
5. Awesome distributed, decentralized, p2p apps or tools ... \- GitHub, https://github.com/croqaz/awesome-decentralized
6. Development and Application of a Decentralized Domain Name, https://arxiv.org/html/2412.01959v1
7. Decentralized Domain Name System (DDNS), https://www.ischool.berkeley.edu/programs/mics/capstone/changaward/2025b-summer/decentralized-domain-name-system-ddns
8. Briar: Secure messaging, anywhere, https://briarproject.org/
9. Towards Reproducibility With NixOS | mcculloughembedded, https://www.mcculloughembedded.com/posts/towards-reproducibility-with-nixos/
10. flatfs package \- github.com/ipfs/go-ds-flatfs \- Go Packages, https://pkg.go.dev/github.com/ipfs/go-ds-flatfs
11. Where Should Your Code Live? | Aditya Kumar, https://hiraditya.github.io/posts/where-should-your-code-live/
12. web3privacy/Market overview/Ethereum Ecosystem/Readme.md at, https://github.com/web3privacy/web3privacy/blob/main/Market%20overview/Ethereum%20Ecosystem/Readme.md
13. Private LLM Inference for Biotech: A Complete Guide \- IntuitionLabs, https://intuitionlabs.ai/articles/private-llm-inference-biotech
14. Building a Secure Software Supply Chain with GNU Guix, https://www.researchgate.net/publication/361609115\_Building\_a\_Secure\_Software\_Supply\_Chain\_with\_GNU\_Guix
15. 2026-02-24-reproducible-builds-in-language-package-managers.md, https://github.com/andrew/nesbitt.io/blob/master/\_posts/2026/2026-02-24-reproducible-builds-in-language-package-managers.md
16. Reproducible Builds Summit IV, https://reproducible-builds.org/files/ReproducibleSummit4EventDocumentation.pdf
17. GNU Guix and GuixSD 0.16.0 released — 2018 — Blog, https://guix.gnu.org/blog/2018/gnu-guix-and-guixsd-0.16.0-released/
18. Privacy-Preserving E-Voting on Decentralized Infrastructure using, https://arxiv.org/html/2507.09453v1
19. simplexmq/protocol/overview-tjr.md at stable · simplex-chat ... \- GitHub, https://github.com/simplex-chat/simplexmq/blob/stable/protocol/overview-tjr.md
20. Oblivious HTTP \- Wikipedia, https://en.wikipedia.org/wiki/Oblivious\_HTTP
21. (PDF) Locating hidden servers \- ResearchGate, https://www.researchgate.net/publication/4238324\_Locating\_hidden\_servers
22. (PDF) Systemic Flaws in the Invisible Internet Project: Analysis of, https://www.researchgate.net/publication/400560079\_Systemic\_Flaws\_in\_the\_Invisible\_Internet\_Project\_Analysis\_of\_Exploitable\_Design\_Choices
23. Parallax: Efficient LLM Inference Service over Decentralized ... \- arXiv, https://arxiv.org/html/2509.26182v1
24. draft-ietf-privacypass-rate-limit-tokens-06, https://datatracker.ietf.org/doc/html/draft-ietf-privacypass-rate-limit-tokens-06
25. Towards Privacy-Preserving LLM Inference via Covariant ... \- arXiv, https://arxiv.org/html/2603.01499v2
26. IOSG: Why Are Wall Street Firms Saying 'No' to ChatGPT and Claude?, https://news.futunn.com/en/post/75977394/iosg-why-are-wall-street-firms-saying-no-to-chatgpt
27. Piano: Extremely Simple, Single-Server Private Information Retrieval, https://www.cs.cmu.edu/\~csd-phd-blog/2024/piano-private-information-retrieval/
28. Communication-Efficient Single-Server Private Information Retrieval, https://www.computer.org/csdl/proceedings-article/sp/2026/606500b598/2bojwg6WC9G
29. Enarx: Confidential Computing with WebAssembly \- GitHub, https://github.com/enarx/enarx
30. Confidential AI agent infrastructure using secure computing ... \- GitHub, https://github.com/mkaihara/confidential-ai-agent
31. Intel SGX vs AMD SEV vs ARM TrustZone | Support \- Eco, https://eco.com/support/en/articles/14796363-intel-sgx-vs-amd-sev-vs-arm-trustzone
32. EGo: the SDK for confidential apps for Intel SGX \- Edgeless Systems, https://www.edgeless.systems/products/ego
33. RADS: The Regen Atlas Data Standard · Issue \#2090 \- GitHub, https://github.com/filecoin-project/devgrants/issues/2090
34. Reticulum, a secure and anonymous mesh networking stack, https://news.ycombinator.com/item?id=46686273
35. Matrix | APIs.io Providers, https://apis.io/providers/matrix/
36. matrix-org/matrix-spec: The Matrix protocol specification \- GitHub, https://github.com/matrix-org/matrix-spec
37. Messaging Layer Security (MLS) \- Web Encrypt, https://webencrypt.org/mls/
38. Worried About Digital Privacy? VPNs and Tor Aren't Enough Anymore, https://www.pcmag.com/news/chelsea-manning-vpns-and-tor-arent-enough-for-digital-privacy
39. The InterPlanetary File System in an Emulated Internet Environment, https://surface.syr.edu/cgi/viewcontent.cgi?article=2576\&context=honors\_capstone
40. SPEC.md \- pr0d1r2/nixos-nix-builder · GitHub, https://github.com/pr0d1r2/nixos-nix-builder/blob/main/SPEC.md
41. Long-term reproducibility with Nix and Software Heritage \- Tweag, https://tweag.io/blog/2020-06-18-software-heritage/
42. openpcc/ohttp: Oblivious HTTP in golang \- GitHub, https://github.com/confidentsecurity/ohttp
43. Tor (network) \- Wikipedia, https://en.wikipedia.org/wiki/Tor\_(network)
44. Framework for running Tor Network Health open source investigations, https://community.torproject.org/policies/relays/101-running-network-health-osint/
45. How Practical is Single-Server Private Information Retrieval?, https://ethz.ch/content/dam/ethz/special-interest/infk/inst-infsec/appliedcrypto/education/theses/semester-project\_sophia-artioli.pdf
46. Spiral: Fast, High-Rate Single-Server PIR via FHE Composition, https://par.nsf.gov/servlets/purl/10332077
47. Confidential Computing Consortium, https://confidentialcomputing.io/
48. Confidential computing in digital sovereign environments, https://sovereigncloudstack.org/en/community\_blog/confidential-computing-in-digital-sovereign-environments/
49. Matrix Specification, https://spec.matrix.org/
50. I'm project lead for Matrix.org, the open protocol for decentralised, https://www.reddit.com/r/privacy/comments/da219t/im\_project\_lead\_for\_matrixorg\_the\_open\_protocol/
51. Secure LLM Inference, Part 2: Hardening Self-Hosted Models, https://wafplanet.com/blog/secure-llm-inference-part-2-self-hosted-defenses/
52. Safetensors \- Hugging Face, https://huggingface.co/docs/safetensors/en/index
53. GGUF · Hugging Face, https://huggingface.co/docs/transformers/en/gguf
54. Common AI Model Formats \- Hugging Face, https://huggingface.co/blog/ngxson/common-ai-model-formats
55. An Efficient and Privacy-Preserving Architecture for Cross ... \- arXiv, https://arxiv.org/html/2605.25716v1
56. PlanetServe: A Decentralized, Scalable, and Privacy-Preserving, https://arxiv.org/html/2504.20101v4
57. Towards Privacy-Preserving LLM Inference via Covariant ... \- alphaXiv, https://www.alphaxiv.org/abs/2603.01499
58. enarx – Page 2 – Alice, Eve and Bob – a security blog, https://aliceevebob.com/tag/enarx/page/2/
59. Here is a GIFT: Enforcing User Data Isolation in LLM Serving ... \- arXiv, https://arxiv.org/html/2608.25431
60. OpenPcc: Open and Confidential LLM Serving on Commodity TEEs, https://arxiv.org/html/2606.11145v1
61. Confidential Prompting: Privacy-preserving LLM Inference on Cloud, https://arxiv.org/html/2409.19134v4
62. Private information retrieval using homomorphic encryption, https://blintzbase.com/posts/pir-and-fhe-from-scratch/
63. Piano: Extremely Simple, Single-server PIR with Sublinear ... \- GitHub, https://github.com/wuwuz/Piano-PIR-new
64. mpc4j/PAPERS.md at main \- GitHub, https://github.com/alibaba-edu/mpc4j/blob/main/PAPERS.md
65. ungovernable.tech/PrivateInformationRetrieval.md at main ... \- GitHub, https://github.com/aljazceru/ungovernable.tech/blob/main/PrivateInformationRetrieval.md
66. GPIR: Enabling Practical Private Information Retrieval with GPUs, https://arxiv.org/html/2604.04696v1
67. What Are W3C Verifiable Credentials? \- SpruceID, https://spruceid.com/learn/w3c-vc
68. Selective Disclosure · Solidus Lexicon, https://solidus.network/tr/lexicon/selective-disclosure
69. BBS Cryptosuite v2023 \- W3C, https://www.w3.org/TR/2023/WD-vc-di-bbs-20231016/
70. GitHub \- succinctlabs/sp1: SP1 is a zero‑knowledge virtual machine, https://github.com/succinctlabs/sp1
71. What Is RISC Zero? zkVM Verifiable Computation | Support, https://eco.com/support/en/articles/11803106-what-is-risc-zero-zkvm-verifiable-computation
72. Comparative Analysis of SP1 and RISC Zero Zero-Knowledge, https://medium.com/@gwrx2005/comparative-analysis-of-sp1-and-risc-zero-zero-knowledge-virtual-machines-4abf806daa70
73. SP1 and zkVMs: A Security Auditor's Guide \- Sigma Prime, https://sigmaprime.io/blog/sp1-zkvm-security-guide/
74. RFC 9576 \- The Privacy Pass Architecture \- IETF Datatracker, https://datatracker.ietf.org/doc/html/rfc9576
75. WhatsApp Message Summarization Service \- NCC Group, https://www.nccgroup.com/media/ymskbe40/ncc\_group\_metaplatforms\_whatsapp-message\_summarization\_report\_2025-08-27\_v10.pdf
76. private and secure messenger without any user IDs (not even random), https://simplex.chat/old/
77. Full whitepaper (print / PDF) \- positive-intentions, https://positive-intentions.com/docs/technical/whitepaper/complete-whitepaper/
78. GitHub \- attermann/microReticulum: C++ port of the Reticulum, https://github.com/attermann/microReticulum
79. rns \- PyPI, https://pypi.org/project/rns/0.1.9/
80. Question regarding connecting an application over Reticulum protocol, https://github.com/markqvist/Reticulum/discussions/290
81. Reticulum: Identity-Based Networking for Resilient Mesh ... \- Beechat, https://beechat.network/2026/03/05/reticulum-identity-based-networking-for-resilient-mesh-communications/
82. Filecoin Community Roadmap \- 2022Q1 Project Contributions \#399, https://github.com/filecoin-project/community/discussions/399
83. Reproducible Builds Made Simple with Nix and Flox, https://flox.dev/blog/reproducible-builds-made-simple-with-nix-and-flox/
84. GitHub \- safetensors/safetensors: Simple, safe way to store and, https://github.com/safetensors/safetensors
85. GGUF · Hugging Face, https://huggingface.co/docs/hub/en/gguf
86. ggml/docs/gguf.md at master · ggml-org/ggml \- GitHub, https://github.com/ggml-org/ggml/blob/master/docs/gguf.md
87. tensorblock/TowerInstruct-7B-v0.2-GGUF \- Hugging Face, https://huggingface.co/tensorblock/TowerInstruct-7B-v0.2-GGUF
88. SecureInfer: Heterogeneous TEE-GPU Architecture for Privacy, https://arxiv.org/pdf/2510.19979
89. Petals: Collaborative Inference and Fine-tuning of Large Models, https://arxiv.org/html/2209.01188v2
90. DISTRIBUTED INFERENCE AND FINE-TUNING OF LARGE, https://openreview.net/pdf?id=HLQyRgRnoXo
91. Could a model not be trained by a decentralized network? Like Seti, https://www.reddit.com/r/LocalLLaMA/comments/14az00q/could\_a\_model\_not\_be\_trained\_by\_a\_decentralized/
92. Petals: decentralized inference and finetuning of LLMs \- Reddit, https://www.reddit.com/r/LocalLLaMA/comments/150ftob/petals\_decentralized\_inference\_and\_finetuning\_of/
93. A Lightweight Framework for Publicly Verifiable Decentralized, https://www.researchgate.net/publication/395970156\_VeriLLM\_A\_Lightweight\_Framework\_for\_Publicly\_Verifiable\_Decentralized\_Inference
94. AI that is not centralized | Canonical Labs, https://www.canonical.cc/labs/decentralized-ai/
95. bpradipt/awesome-confidential-computing \- GitHub, https://github.com/bpradipt/awesome-confidential-computing
96. Awesome SGX Open Source Projects \- GitHub, https://github.com/Maxul/Awesome-SGX-Open-Source
97. alibaba-edu/mpc4j \- GitHub, https://github.com/alibaba-edu/mpc4j
98. Single Pass Client-Preprocessing Private Information Retrieval, https://www.usenix.org/system/files/sec24fall-prepub-150-lazzaretti.pdf
99. Faster Spiral: Low-Communication, High-Rate Private Information, https://www.mdpi.com/2410-387X/9/1/13
100. Benchmarking zkVMs: Current State and Prospects \- Fenbushi Capital, https://fenbushi.vc/2025/08/29/benchmarking-zkvms-current-state-and-prospects/
101. Evaluating Compiler Optimization Impacts on zkVM Performance, https://arxiv.org/html/2508.17518v1
102. Assessing RISC Zero using ZKit: An Extensible Testing and, https://romanboegli.ch/assets/pdf/Boegli\_2024\_AssessingRiscZeroUsingZKit.pdf
103. Analyzing Performance Bottlenecks in Zero-Knowledge Proof Based, https://www.alphaxiv.org/abs/2503.22709
104. Zero-Knowledge-Based Policy Enforcement for Privacy-Preserving, https://www.mdpi.com/2079-8954/14/4/385
105. Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper) \- arXiv, https://arxiv.org/html/2504.14881v2
106. (PDF) Circom: A Circuit Description Language for Building Zero, https://www.researchgate.net/publication/366676429\_Circom\_A\_Circuit\_Description\_Language\_for\_Building\_Zero-knowledge\_Applications
107. GitHub \- brandonhimpfen/awesome-zero-knowledge-proofs, https://github.com/awesomelistsio/awesome-zero-knowledge-proofs
108. MTZK: Testing and Exploring Bugs in Zero-Knowledge (ZK) Compilers, https://www.ndss-symposium.org/wp-content/uploads/2025-530-paper.pdf
109. Zero-Knowledge Proofs for AI Agent Verification and Privacy, https://zylos.ai/research/2026-03-18-zero-knowledge-proofs-ai-agent-verification/
110. The EZKL System, https://docs.ezkl.xyz/
111. Credential Formats, https://digitalcredentials.dev/docs/concepts/credential-formats/
112. ohttp package \- github.com/openpcc/ohttp \- Go Packages, https://pkg.go.dev/github.com/openpcc/ohttp
113. SimpleX Chat \- the first messaging platform that has no user identifiers, https://www.reddit.com/r/PrivacyGuides/comments/ungdin/simplex\_chat\_the\_first\_messaging\_platform\_that/
114. simplex-chat/docs/SIMPLEX.md at stable \- GitHub, https://github.com/simplex-chat/simplex-chat/blob/stable/docs/SIMPLEX.md
115. Session \- arXiv, https://arxiv.org/pdf/2002.04609
116. The Session Protocol: A new standard for decentralized private, https://getsession.org/introducing-the-session-protocol
117. Welcome to simplex-chat Discussions\! \#1430 \- GitHub, https://github.com/simplex-chat/simplex-chat/discussions/1430
118. GitHub \- awslabs/mls-rs: An implementation of Messaging Layer, https://github.com/awslabs/mls-rs
119. Investigation into Message Layer Security (MLS) · Raphael Poss, https://dr-knz.net/mls-investigation.html
120. draft-ietf-mls-architecture-15, https://datatracker.ietf.org/doc/html/draft-ietf-mls-architecture
121. draft-ietf-mls-partial-02 \- IETF Datatracker, https://datatracker.ietf.org/doc/draft-ietf-mls-partial/
122. Google Will Be Implementing IETF's Message Layer Security (MLS, https://www.reddit.com/r/programming/comments/17si0f3/google\_will\_be\_implementing\_ietfs\_message\_layer/
123. Pepper: High-bandwidth and Scalable Anonymous Broadcast with, https://arxiv.org/pdf/2606.04411
124. Mozilla Research Call: Tune up Tor for Integration and Scale, https://blog.torproject.org/mozilla-research-call-tune-tor-integration-and-scale/
125. Convenient Detection Method for Anonymous Networks "I2P vs Tor", https://www.researchgate.net/publication/375182370\_Convenient\_Detection\_Method\_for\_Anonymous\_Networks\_I2P\_vs\_Tor
126. (PDF) Mapping the Invisible Internet: Framework and Dataset, https://www.researchgate.net/publication/396599363\_Mapping\_the\_Invisible\_Internet\_Framework\_and\_Dataset
127. ReCo-I2P: An Incomplete Supervised Lymph Node Segmentation, https://papers.miccai.org/miccai-2025/0755-Paper3517.html
128. i2p.plugins.tor-updater \- idk's home page, https://eyedeekay.github.io/i2p.plugins.tor-manager/
129. LPWAN Meshes: Reticulum \- Where I Landed | Digital Nomad, https://gaggl.com/blogs/2026-02-25-lpwan-meshes-reticulum-deep-dive/
130. FreeTAKTeam repositories \- GitHub, https://github.com/orgs/FreeTAKTeam/repositories
131. C2A2-at-Florida-Atlantic-University/RTAK-V2 \- GitHub, https://github.com/C2A2-at-Florida-Atlantic-University/RTAK-V2
132. GitHub \- enuno/ansible-handshake-dns: An Ansible playbook for, https://github.com/enuno/ansible-handshake-dns
133. A Survey on Traditional DNS and Blockchain-Based DNS \- MDPI, https://www.mdpi.com/2076-3417/16/2/598
134. Destra Network ($DSYNC) Pitch Outline (Spring 2025\) \- Medium, https://medium.com/titan-blockchain/destra-network-dsync-pitch-outline-spring-2025-a0adaa766a93
135. Flower: A Friendly Federated Learning Framework \- arXiv, https://arxiv.org/pdf/2007.14390
136. Federated Learning: A Survey of Core Challenges, Current Methods, https://www.mdpi.com/2073-431X/15/3/155
137. (PDF) Comparative analysis of open-source federated learning, https://www.researchgate.net/publication/381799800\_Comparative\_analysis\_of\_open-source\_federated\_learning\_frameworks\_-\_a\_literature-based\_survey\_and\_review
138. Federated Learning Standards \- Flower AI, https://flower.ai/blog/2023-07-20-federated-standards
139. A federated learning architecture for secure and private ... \- PMC \- NIH, https://pmc.ncbi.nlm.nih.gov/articles/PMC11368680/
140. Accessible Ecosystem for Clinical Research (Federated Learning for, https://formative.jmir.org/2024/1/e55496
141. Top 7 Open-Source Frameworks for Federated Learning \- Apheris, https://www.apheris.com/resources/blog/top-7-open-source-frameworks-for-federated-learning
142. Official Repo for the 30DaysOfFLCode Challenge Initiative \- GitHub, https://github.com/OpenMined/30DaysOfFLCode
143. Matrix notes \- anarcat, https://anarc.at/blog/2022-06-17-matrix-notes/