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

Status
Research archive item
Category
Civic / Privacy / Digital Rights
Length
7,008 words
Reading time
32 minutes
Report type
evaluation

Key topics

  • Civic / Privacy / Digital Rights
  • Civic
  • Privacy
  • Digital Rights
  • AI
  • Agentic Web
  • .NET
  • Python
  • Runtime

Research provenance

Archive status
Research archive item
Content identity
sha256:5974e27c9d121ff8674e0baf706a8505ee5c8702197cd553944d9c70c5097edc

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 threatTechnical approachStandardOrganizationProjectLimitation
Network-level blockingMixnet packet transformation & multi-hop cover trafficIETF Draft / SphinxNym TechnologiesNym MixnetLatency overhead; requires active node bandwidth incentives1
Domain seizureCryptographic root-zone naming on distributed ledgersHandshake RFC / BIPsHandshake AllianceHandshake (HNS)Lacks native browser resolution without light clients or DNS resolvers5
App-store removalContent-addressed software distribution & P2P package storesIPFS / CIDv1Protocol LabsIPFS (Kubo)Pinning availability dependencies; lack of native OS execution sandbox10
Payment chokepointsP2P bandwidth monetization & offline local computeERC-20 / Native tokenHOPR AssociationHOPRToken volatility; network bootstrapping liquidity requirements1
Compromised maintainersDeclarative, deterministic source-to-binary bootstrappingReproducible Builds / NixNixOS FoundationNixOSSteep learning curve; large binary build caching dependencies9
Software supply chainFunctional package management with explicit SHA-256 inputsGNU Software SpecGNU ProjectGNU GuixSmaller package selection relative to traditional Linux distributions14
Metadata leakageDecoupled client-gateway transport proxyingRFC 9458 (OHTTP)IETF / Cloudflare / FastlyOblivious HTTPRelies on complete non-collusion between Relay and Gateway operators20
Malicious relaysOnion routing with cryptographic circuit rotationTor Protocol Spec v3The Tor ProjectTor NetworkVulnerable to end-to-end global passive adversary timing correlation3
Sybil attacksProof-of-Stake validator staking & rate-limited tokensPrivacy Pass RFCIETF / W3C Privacy PassRate-Limited TokensCryptographic setup complexity; rate-limiting trade-offs1
CollusionMulti-Party Computation & Private Information RetrievalFHE / PIR SpecsAcademic / Open SourceSpiral PIRHigh server compute overhead on large database sizes27
Local-device compromiseHardware TEE memory encryption & remote attestationIntel SGX / AMD SEV SpecConfidential Computing Cons.Gramine LibOSVulnerable to microarchitectural hardware side-channel attacks29
State seizureDistributed immutable blockweave storageArweave Protocol SpecArweave TeamArweaveImmutable data cannot be deleted; scaling storage proof verification11
Dependency abandonmentImmutable, standardized specs with no external RPCsMatrix / W3C StandardsMatrix.org FoundationMatrixState 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 NameProject URL & Source RepositoryGoverning Organization & MaintainersLicenseTechnical RequirementsThreat Model & LimitationsAudits & PapersCurrent Deployment Examples
llama.cpphttps://github.com/ggerganov/llama.cppggml-org / Georgi GerganovMITCPU/GPU (Metal, CUDA, Vulkan); 4GB-128GB RAMProtects against remote prompt surveillance; vulnerable to host memory extraction13Open-source audits; arXiv:2308.1292013Offline desktop runtimes; LM Studio; Jan.ai13
vLLMhttps://vllm.ai / github.com/vllm-project/vllmUC Berkeley / vLLM TeamApache 2.0NVIDIA GPU / AMD ROCm (16GB+ VRAM)High-throughput serving engine; susceptible to local side-channel timing leaks55SOSP '23 paper; continuous CI auditing55Private corporate inference nodes; local cluster serving51
Ollamahttps://ollama.com / github.com/ollama/ollamaOllama Inc. / CommunityMITCross-platform desktop runtime; 8GB+ RAMWraps llama.cpp into a local REST API; vulnerable if local port is exposed13Internal security reviews51Local developer workstations; self-hosted UI wrappers13
Safetensorshttps://huggingface.co/docs/safetensorsHugging FaceApache 2.0Rust / Python runtimePrevents arbitrary code execution present in Python pickle files52Security audited by Trail of Bits52Default weight format across Hugging Face Hub52
GGUF Spechttps://github.com/ggml-org/ggml/blob/master/docs/gguf.mdggml-orgMITSpecification formatSingle-file extensible metadata; requires engine implementation support53Formal specification documentation86Standard quantized file format for edge LLMs53
MLC-LLMhttps://mlc.ai / github.com/mlc-ai/mlc-llmTVM Community / Carnegie MellonApache 2.0Vulkan/WebGPU/iOS/AndroidEnables cross-platform hardware-accelerated local compilation88Academic research papers (TVM)88Mobile LLM execution; WebGPU browser models88
Apache TVMhttps://tvm.apache.orgApache Software FoundationApache 2.0Compiler infrastructureDeep learning compiler; high build configuration complexity88ASF Governance audits88Edge machine learning deployment toolchains88
SGLanghttps://github.com/sgl-project/sglangLMSYS / SGLang TeamApache 2.0NVIDIA GPU clustersFast execution engine for complex workflows; requires local GPU setup61arXiv:2312.0710461Multi-turn structured agent execution61

Domain 2: Decentralized Compute, Private Inference, and Confidential Enclaves

Project NameProject URL & Source RepositoryGoverning Organization & MaintainersLicenseArchitecture & StandardsThreat Model & LimitationsAudits & PapersCurrent Deployment Examples
Petalshttps://petals.dev / github.com/bigscience-workshop/petalsBigScience Workshop / YandexApache 2.0Swarm Parallelism over DHTDistributed inference; intermediate nodes observe activation vectors23NeurIPS '23 paper89Public collaborative LLM inference pools89
Exohttps://github.com/exo-explore/exoExo Explore TeamGPL-3.0Peer-to-peer Apple Silicon clusterLocal device aggregation; restricted to local private networks93Open-source public repository93Home hardware cluster LLM serving93
Darkbloomhttps://canonical.ccCanonical Crypto LabsProprietary / OpenVerification layer over ExoAdds economic verification to P2P compute; protocol token dependency94Lab whitepaper94Experimental verification pools94
Graminehttps://gramineproject.io / github.com/gramineproject/gramineConfidential Computing Cons. / IntelLGPL-3.0Intel SGX LibOS ArchitectureProtects code/data from host OS; susceptible to SGX side-channels29Third-party audits by KuppingerCole47Enterprise enclave container deployments47
Enarxhttps://enarx.dev / github.com/enarx/enarxConfidential Computing Cons. / ProfianApache 2.0WASM on SGX / AMD SEV-SNPHardware-independent deployment; WASM memory layout overhead29CCC Governance security reviews47Multi-cloud confidential WASM execution29
EGohttps://edgeless.systems / github.com/edgelesssys/egoEdgeless SystemsGPL-3.0Go framework for Open EnclaveSimplifies building confidential Go microservices; constrained to SGX31Independent cryptographic audits32Confidential financial microservices32
Open Enclavehttps://openenclave.io / github.com/openenclave/openenclaveLinux FoundationMITHardware Abstraction SDKC/C++ cross-TEE abstraction layer; maintenance dependent on consortiums29LF Security Best Practices31Heterogeneous enclave SDK integration32
THORhttps://arxiv.org/abs/2501.00000Moon et al. / AcademicAcademicTransformer-tailored FHE SchemeMathematical privacy guarantees; high latency on long token sequences60arXiv:2501.xx preprint60Academic private inference prototypes60
PermLLMhttps://arxiv.org/abs/2605.25716PermLLM Research TeamAcademicFeature-space PermutationFast private inference over WAN; non-zero leakage bound on activation patterns25arXiv:2605.2571655Low-latency private LLM cloud serving55
STIPhttps://arxiv.org/abs/2603.01499STIP Research GroupAcademic3-Party Computation (3PC)Decouples feature matrices; requires non-collusive multi-party assumptions25arXiv:2603.0149925Multi-party private LLM evaluations25

Domain 3: Cryptographic Privacy, PIR, ZK-DSLs, and Identity

Project NameProject URL & Source RepositoryGoverning Organization & MaintainersLicenseProtocol StandardThreat Model & LimitationsAudits & PapersCurrent Deployment Examples
Piano PIRhttps://github.com/wuwuz/Piano-PIR-newAcademic / Shi et al.MITSublinear Single-Server PIRHides database queries from server; requires client hint storage63USENIX Security '24 paper66Private search index prototypes63
Spiral PIRhttps://github.com/menonv/spiralWu & Menon / StanfordApache 2.0FHE Lattice Composition PIRFast response retrieval; heavy server CPU/GPU compute load27IEEE S\&P '22 paper28Private streaming database retrieval28
mpc4jhttps://github.com/alibaba-edu/mpc4jAlibaba Edu / Security TeamApache 2.0Multi-Party Computation LibraryCryptographic toolbox; high framework abstraction overhead64Open-source security audits97Academic MPC research benchmarks97
SP1 zkVMhttps://github.com/succinctlabs/sp1Succinct LabsApache 2.0 / MITRISC-V ZK Proving ArchitectureProves execution integrity of Rust code; memory overhead during proving70Audited by Sigma Prime73Verifiable off-chain compute rollups70
RISC Zerohttps://github.com/risc0/risc0RISC Zero Inc.Apache 2.0STARK/SNARK RISC-VVerifiable execution proofs; requires GPU clusters for fast proving71Audited by Netz; academic papers100Bonsai proving service; zk-coprocessors71
Circomhttps://github.com/iden3/circomiden3 / PSE CommunityGPL-3.0R1CS Circuit CompilationCompiles custom arithmetic circuits; manual constraint writing risks bugs103Audited across Web3 ecosystems105Tornado Cash circuits; Semaphore identity104
Noirhttps://github.com/noir-lang/noirAztec NetworkApache 2.0Plonk / Honk Proof SystemRust-like domain language for ZK; ecosystem tools still maturing103Audited by ABDK & Trail of Bits108Aztec private smart contracts105
Halo2https://github.com/zcash/halo2Electric Coin CompanyMIT / Apache 2.0Recursive ZK-SNARKEliminates trusted setups; complex recursive math onboarding105Audited by NCC Group107Zcash protocol; EZKL zkML backend107
EZKLhttps://github.com/zkonduit/ezklEZKL Team / ZKonduitMIT / Apache 2.0zkML Inference VerificationVerifies ONNX execution in ZK; limited scale on multi-billion parameter LLMs109Security documentation110Verifiable AI decision generation109
SpruceIDhttps://spruceid.com / github.com/spruceidSpruce SystemsApache 2.0W3C VC 2.0 / DID SpecsSelf-sovereign identity storage; relies on mobile secure enclaves67Open-source code reviews67Cross-border digital identity wallets67

Domain 4: Transport Decoupling, Secure Messaging, and Anonymous Networking

Project NameProject URL & Source RepositoryGoverning Organization & MaintainersLicenseTransport & Encryption SpecThreat Model & LimitationsAudits & PapersCurrent Deployment Examples
ohttp (Go)https://github.com/confidentsecurity/ohttpConfident Security / IETFMITRFC 9458 (Oblivious HTTP)Decouples IP transport from payload; relies on Relay/Gateway non-collusion20Audited by NCC Group75Private telemetry in mobile applications26
SimpleX Chathttps://simplex.chat / github.com/simplex-chat/simplex-chatSimpleX Chat LtdAGPL-3.0SimpleXMQ MessagingRemoves user account IDs; server queue analysis under global adversary19Audited by Trail of Bits77High-privacy personal communication76
Briarhttps://briarproject.org / code.briarproject.org/briarBriar ProjectGPL-3.0P2P Mesh over Bluetooth/Wi-FiFunctions during internet blackouts; higher battery drain during mesh routing8Audited by Cure5377Activist communications in blackout zones8
Sessionhttps://getsession.org / github.com/oxen-io/session-androidOPTF (Oxen Foundation)GPL-3.0Session Protocol over LokinetOnion-routed messaging without phone numbers; crypto node incentives76Audited by Quarkslab77Anonymized mobile communication115
OpenMLShttps://openmls.tech / github.com/openmls/openmlsOpenMLS TeamApache 2.0 / MITRFC 9420 (MLS)End-to-end encryption for large groups; requires central message delivery service37Audited by Cryspen37Enterprise secure group communications37
Tor Networkhttps://torproject.org / gitlab.torproject.org/tpoThe Tor ProjectBSD-3-ClauseTor Protocol Spec v3Anonymous circuit routing; vulnerable to global passive traffic correlation3Audited continuously by researchers43Tor Browser; secure drop submission portals43
I2Phttps://i2p.net / github.com/i2p/i2p.i2pThe I2P ProjectApache 2.0 / GPLGarlic Routing ArchitectureP2P internal hidden service network; slower outproxy performance3Academic reviews; ReCo-I2P research22Internal anonymous file distribution4
Nym Mixnethttps://nymtech.net / github.com/nymtech/nymNym TechnologiesApache 2.0Sphinx Mixnet Packet StandardObfuscates metadata using delayed traffic timing; introduces packet latency1Audited by Oak Security12NymConnect VPN proxy infrastructure1
HOPRhttps://hoprnet.org / github.com/hoprnet/hoprnetHOPR AssociationGPL-3.0Incentivized MixnetObfuscates metadata using proof-of-relay staking; token economic volatility1Audited by ChainSecurity12Private Web3 RPC transport routing1
Reticulumhttps://reticulum.network / github.com/markqvist/ReticulumMark Qvist / Unsigned ByteMITReticulum Network Stack (RNS)Infrastructure-free crypto mesh; limited bandwidth over radio bands34Community audited; open specification81Off-grid radio comms; Sideband mesh34

Domain 5: Decentralized Name Resolution, Storage, and Software Infrastructure

Project NameProject URL & Source RepositoryGoverning Organization & MaintainersLicenseStandard / ArchitectureThreat Model & LimitationsAudits & PapersCurrent Deployment Examples
Handshakehttps://handshake.org / github.com/handshake-org/hsdHandshake AllianceMITCryptographic DNS Root ZoneResists domain seizure; requires dedicated light resolvers5Protocol whitepaper; audited6Decentralized top-level domain hosting5
ENShttps://ens.domains / github.com/ensdomains/ens-contractsENS Labs / DAOMITSmart Contract NamingDecentralized lookup; relies on Ethereum gas fees and RPC nodes5Audited by ConsenSys Diligence133Decentralized web publishing pointers6
IPFS (Kubo)https://ipfs.tech / github.com/ipfs/kuboProtocol LabsMIT / Apache 2.0Content-Addressed StorageImmutable file retrieval; files disappear if not pinned by active nodes10Audited by Trail of Bits39Distributed web hosting; package mirrors11
Arweavehttps://arweave.org / github.com/arweaveteam/arweaveArweave TeamGPL-3.0Blockweave Permanent StoragePermanent data storage; payload retention cannot fulfill deletion rights11Protocol security audits33Permanent web archive preservation11
NixOShttps://nixos.org / github.com/NixOS/nixpkgsNixOS FoundationMIT / X11Functional Package ManagementEliminates non-deterministic builds; large build cache requirements9Reproducible Builds project tracking15Secure infrastructure deployment40
GNU Guixhttps://guix.gnu.org / git.savannah.gnu.org/cgit/guix.gitGNU ProjectGPL-3.0+Bootstrapped Scheme ManagerProtects against compiler binary backdoors; smaller package repository14Reproducible Summit verified14Hardened scientific computing environments14
Flowerhttps://flower.ai / github.com/adap/flowerAdap / Flower LabsApache 2.0Federated AI TrainingAggregates weights without raw data transfer; sensitive to privacy leaks135Academic publications (arXiv:2007.14390)135Distributed medical model training136
PySyfthttps://openmined.org / github.com/OpenMined/PySyftOpenMinedApache 2.0Differential PrivacyProtects raw data during collaborative training; complex setup140OpenMined security audits140Privacy-preserving research studies140
FedMLhttps://fedml.ai / github.com/FedML-AI/FedMLTensorOpera Inc.Apache 2.0Distributed ComputingScalable federated learning; cloud orchestration dependencies in enterprise136IEEE survey papers136Cross-silo enterprise model training139
Matrixhttps://matrix.org / github.com/matrix-org/matrix-specMatrix.org FoundationApache 2.0Federated Real-Time CommsInteroperable messaging standard; state growth synchronization overhead35Audited by NCC Group50Decentralized 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.

  • 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/