Zero-Knowledge Authenticator Secures Policy-Private Transaction Logic and Oblivious Updates
A new cryptographic primitive, the zkAt, uses zero-knowledge proofs to authenticate transactions while keeping complex, updateable policies fully private.
Thetacrypt Unifies Distributed Threshold Cryptography for Robust Blockchain Services
Thetacrypt introduces a unified distributed service architecture for threshold cryptography, enabling accurate performance evaluation and robust decentralized trust protocols.
Babylon Protocol Secures Proof-of-Stake by Checkpointing onto Bitcoin
The Babylon protocol anchors PoS security to Bitcoin's immutability, resolving long-range attacks and low liveness resilience, fundamentally enhancing PoS finality.
ZKProphet Pinpoints Number-Theoretic Transform as Zero-Knowledge Proof Bottleneck
Systematic performance analysis shifts optimization focus from MSM to NTT, unlocking the next generation of scalable verifiable computation.
Multifunction Tree Unit Accelerates Zero-Knowledge Proof Prover Time
A novel hardware unit optimizes the tree-based kernels of zkSNARKs, fundamentally reducing prover time to unlock scalable verifiable computation.
CRSet Achieves Private Non-Interactive Credential Revocation Concealing All Metadata
CRSet introduces Bloom filter cascades with padding to cryptographically conceal credential revocation metadata, enabling truly private self-sovereign identity.
OR-Aggregation Cryptography Scales Merkle Tree Verification Universally
OR-logic proof aggregation fundamentally lowers Merkle tree verification cost, transforming data availability and enabling universal light client trustlessness.
Succinct Non-Interactive Argument Secures Light Client Trustlessness and State Verification
SNACK is a new cryptographic primitive that enables superlight clients to trustlessly verify complex blockchain state queries from a single untrusted full node.
Decentralized Prover Selection Secures Zero-Knowledge Rollup Censorship Resistance
A commitment auction paired with a VDF lottery decentralizes proof generation, ensuring economic efficiency and censorship resistance for Layer 2 systems.
