What is LayerZero Akita (Post-Quantum PCS)?

Zero-knowledge proofs let one party convince another that a statement is true without revealing anything else. Many deployed proof systems rely on cryptography that a sufficiently powerful quantum computer could break, so researchers are building post-quantum replacements. Akita is a lattice-based polynomial commitment scheme (a way of committing to data using a kind of mathematics believed to resist quantum computers) written in Rust: a building block that lets a prover commit to a large table of data and later prove a fact about it, while the verifier checks the proof without receiving the whole table. It is meant to give proof systems a quantum-resistant foundation. Its first major integration is Jolt, a zero-knowledge virtual machine, and the project states that Akita itself does not currently provide zero knowledge.

Written from primary sources and reference pages, and checked against them by an independent AI fact-checker. Drafted with AI assistance.