Non-Interactive Verifiable Aggregation Secures Private Decentralized Data Computation
A new cryptographic primitive, NIVA, combines functional encryption and verifiable proofs to enable private, robust, and non-interactive data aggregation by untrusted servers.
Humanity Protocol Secures Funding to Scale Palm-Scan Proof-of-Humanity Identity Network
The palm-scan biometric primitive establishes a sybil-resistant digital identity layer, fundamentally securing the on-chain user economy from bot-driven fraud.
Vector Oblivious Linear Evaluation Unlocks Efficient Zero-Knowledge Proof Systems
VOLE-ZK leverages MPC primitives to construct highly efficient, CPU-friendly zero-knowledge proofs for complex computation.
Optimal Prover Time Succinct Zero-Knowledge Proofs Redefine Scalability
The Libra proof system achieves optimal linear prover time, solving the primary bottleneck of ZKPs to unlock practical, large-scale verifiable computation.
Fully Homomorphic Encryption Enables Private Smart Contracts with Offloaded Computation
FHE enables private smart contracts by allowing miners to compute on encrypted data, shifting the cryptographic burden from lightweight users.
Post-Quantum zk-SNARKs from LWE Secure Verifiable Computation for All Circuits
This research formalizes quantum-safe zk-SNARKs for arithmetic circuits using LWE, securing blockchain's verifiable computation layer.
Unifying Threshold Cryptography Services for Distributed Trust Systems
A new distributed service architecture unifies diverse threshold cryptographic schemes, simplifying deployment of robust solutions for frontrunning and key management.
Zero-Knowledge Proofs Enhance Digital Identity Data Minimisation
This research demonstrates how zero-knowledge proofs can resolve the inherent tension between digital identity verifiability and data minimisation, enabling privacy-preserving attribute attestations.