VM bindings to run verify cosmos contracts
was Owned by Simon Warta, Ethan Frey, Jan Woźniak, confio.
#147 in #verify
680KB 70 lines
~19–32MB ~527K SLoC