snarkos-models (cargo): Models for a decentralized operating system
Keywords: cryptography|blockchain|zero-knowledge|decentralized|aleo|rust|zksnarks