Sublinear Memory Zero-Knowledge Proofs Democratize Verifiable Computation
A novel tree-based algorithm reduces ZKP prover memory from linear to square-root complexity, enabling verifiable computation on everyday mobile and edge devices.
Paranoid Stateful Lambdas Enable Secure, Stateful Edge Function-as-a-Service
A new federated FaaS framework integrates cryptographically-hardened blockchains and secure enclaves, enabling robust stateful execution at the edge.
QScale: Probabilistic Chained Consensus for Moderate-Scale Systems
QScale introduces a novel probabilistic chained consensus, significantly reducing communication overhead for distributed ledgers at moderate scales.
Redactable Blockchains Reconcile Immutability with Real-World Regulatory and Operational Demands
Redactable blockchains introduce controlled data modification through cryptographic primitives like chameleon hashes, bridging immutability with critical regulatory compliance and operational flexibility.
Blockchain-Enabled Sharded SplitFed Learning for Secure Distributed AI
Introducing a blockchain-enabled, sharded architecture with committee consensus to secure and scale distributed machine learning against centralized vulnerabilities.
