RISC Zero

Скинуті

ZK-віртуальна машина, яка запускає RISC-V програми з доказовим виконанням. Пиши звичайний код, отримуй докази з нульовим розголошенням безкоштовно.