Lib.rs

›

#zero-knowledge #aleo #blockchain #decentralized #virtual-machine #operating-systems #cryptography

yanked snarkvm-models

Models for a decentralized virtual machine

was by ProvableHQ. Owned by Howard Wu.

0.0.6	~~Feb 27, 2021~~
0.0.5	~~Feb 25, 2021~~
0.0.4	~~Feb 11, 2021~~
0.0.3	~~Feb 4, 2021~~
0.0.2	~~Jan 4, 2021~~

#66 in #operating-systems

Used in leo-gadgets

GPL-3.0 license

1MB
20K SLoC

snarkvm-models

Dependencies

~5MB
~101K SLoC