Code-Based Homomorphic Encryption Achieves Quantum-Safe Privacy-Preserving Computation
Code-based homomorphic encryption leverages NP-hard decoding problems to construct quantum-resistant privacy primitives, securing future decentralized computation.
HSBC Expands Tokenized Deposit Service to US and UAE Corporate Clients
Scaling a proprietary DLT rail for tokenized deposits provides corporate treasuries with T+0 cross-border settlement, optimizing intraday liquidity and reducing counterparty risk.
Nillion Launches Petnet Mainnet Enabling Blind Computation for Decentralized AI and Finance
The Petnet architecture's blind computation primitive unlocks secure processing of high-value, encrypted data, accelerating institutional-grade AI and RWA adoption.
Decentralized Autonomous Verification Fortifies DAO Security with Advanced Cryptography
DAVe integrates ZKPs, HE, and consensus to create a resilient, multi-layered security framework, safeguarding DAO governance integrity
Formal Compiler Proof Secures Distributed Cryptographic Applications Synthesis
A new compiler security proof unifies four formalisms to automatically synthesize complex, secure distributed protocols from simple sequential programs, guaranteeing end-to-end security.
Verifiable Computation for Approximate Homomorphic Encryption Secures Private AI
New HE-IOP primitive solves the integrity problem for approximate homomorphic encryption, enabling verifiable, private, outsourced computation for AI models.
Homomorphic Sortition Secures Proof-of-Stake Leader Election Liveness
Homomorphic Sortition uses Threshold FHE to create the first asynchronous, non-expiring secret leader election, securing PoS liveness.
Post-Quantum Lattice Commitments Secure Zero-Knowledge Proofs and Future Blockchain Scalability
Greyhound introduces the first concretely efficient lattice-based polynomial commitment, securing verifiable computation against quantum threats.
Verifiable Computation for Approximate FHE Unlocks Private AI Scalability
This new cryptographic framework efficiently integrates Verifiable Computation with approximate Homomorphic Encryption, enabling trustless, private AI computation at scale.
