snarkos-models 1.1.4

Models for a decentralized operating system
Documentation