GitHub repository: sai-deng/sp1
Description: The fastest, most feature-complete zkVM for developers.