LatticeProofs aims to build efficient proof systems for lattice-based protocols. Verification is an important component for ensuring the integrity of computations, with numerous applications in blockchains, verifiable computation, and AI inference integrity. In this direction, proof systems, including ZK-proofs, SNARKs, and others, play a crucial role. The goal of LatticeProofs is to specifically build proof systems for polynomial ring operations, which are widely used in lattice-based protocols, a promising direction for constructing post-quantum secure cryptographic systems.