Verified
Decentralized blockchain protocol, Platform neutral smart contracts, and Multi-currency payment tokens
Repositories
-
via-issuer
Reference implementation of Via issuer and Via payment tokens for ethereum
-
-
verified-storage
Patricia merkle trie implementation for the Verified blockchain
-
verified-runtime
Forked from containers/crunA fork of crun - the fast and lightweight fully featured OCI runtime and C library for running containers customized for executing verified blockchain contracts