Lib.rs

› Cryptography › Magic Beans › snarkOS
#zero-knowledge #aleo #blockchain #operating-system #zk #decentralized

yanked snarkos-models

Models for a decentralized operating system

was by ProvableHQ. Owned by Howard Wu.

1.1.4 Aug 27, 2020
1.0.0 Aug 20, 2020

#61 in #operating-systems


Used in 11 crates

GPL-3.0 license

1MB
20K SLoC

snarkos-models

Crates.io Authors License

Dependencies

~3–4.5MB
~82K SLoC