Lib.rs

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

yanked snarkos-models

Models for a decentralized operating system

was by Provable. Owned by Howard Wu.

1.1.4 Aug 27, 2020
1.0.0 Aug 20, 2020

#70 in #operating-systems


Used in 11 crates

GPL-3.0 license

1MB
19K SLoC

snarkos-models

Crates.io Authors License

Dependencies

~3–4.5MB
~84K SLoC