snarkvm-models (cargo): Models for a decentralized virtual machine
Keywords: cryptography|blockchain|zero-knowledge|decentralized|aleo|rust|zkp