Expander is an open-source GKR prover designed for scaling large-scale AI models that enable secure, efficient, and cost-effective data processing. Polyhedra is developing the next-generation Web3 infrastructure.