Models for a decentralized operating system
was by Howard Wu, ProvableHQ and 63 contributors
#74 in #zk
Used in 11 crates
1MB 20K SLoC
~2.4–3.5MB ~71K SLoC