Lattice-Based SNARKs Achieve Post-Quantum Security and Proof Efficiency
Lattice-based proofs, rooted in the SIS problem, enable quantum-resistant, succinct zero-knowledge arguments, securing future computation.
Zero-Knowledge Authenticator Secures Complex Private On-Chain Policy Verification
Introducing the Zero-Knowledge Authenticator (zkAt), a new cryptographic primitive that enables private, complex transaction policy verification on public ledgers by leveraging equivocable NIZK keys.
