Distributed Verifiable Computation Secures Input Privacy and Fault Tolerance
A new distributed verifiable computation primitive guarantees input privacy and result recovery against colluding workers using cryptographic encoding.
Lattice SNARKs Achieve Post-Quantum Security, Public Verifiability, and Recursion
Researchers created the first lattice-based SNARK that is post-quantum secure and recursively composable, future-proofing verifiable computation.
Linear-Complexity Secret Sharing Unlocks Scalable Decentralized Randomness Beacons
A novel Publicly Verifiable Secret Sharing scheme reduces complexity to $O(n)$, enabling highly scalable, unbiasable randomness for large-scale consensus.
Streaming Random Beacons Secure Consensus with Minimal Cryptographic Overhead
STROBE introduces an NIZK-free, history-generating threshold beacon, solving the randomness scalability problem with constant-size state verification.
