This project was created in July 2021. The goal is to improve the programmability of zero-knowledge proof systems. At the end of 2022, we formed a small team of top zkVM experts. We look forward to having more technical and business talents JOIN US as members of the founding team.