GitHub repository: zemse/ceno
Description: Accelerated Zero-knowledge Virtual Machine by Non-uniform Prover Based on GKR Protocol