Stars
Frobenius sumcheck for vectorized boolean ops
Expander, an open-source GKR prover designed for scaling large-scale parallel computing.
OAO (onchain AI oracle), powered by opML (optimistic machine learning) on Ethereum, brings ML model onchain.