透過 NockVM，我們正在構建首個基於組合子的虛擬機，專為零知識證明量身定制。