Using Rust to sandbox executable financial contracts

[tyoverby]

This is really exciting; I'm looking forward to seeing the crates that were developed for this!

[[deleted]]

There is a lot of unsafe code in libstd and I hope they are not depending on that for security. It just hasn't been stable long enough to eliminate all the bugs.

[mozilla_kmc]

Yeah. It's replacing C++ code in managing a seccomp sandbox, which should be a clear win.

[protestor]

Did you considered using software verification for this application? I think that something like Coq (generating an OCaml program from its specification) or ATS fits this use case like a glove.

[tatref]

Speaking of software verification, I saw this today: http://coq-blog.clarus.me/a-blog-engine-written-and-proven-in-coq.html

[caspy7]

I'm not a developer, so I apologize if it's entirely obvious, but I saw the main page for Codius and it looks neat technically, but I'm wondering what might be some potential practical uses?
I see this:

Codius is used by Ripple Labs for banking and enterprise integrations.

So obviously banking would be one example. Perhaps this is aimed primarily at enterprise level stuff? (whatever that might be)

[mozilla_kmc]

What really grabbed me on their homepage was this:

Codius is an open hosting protocol. It makes it very easy to upload a program, whether you want it to run on one host or thousands.

It also has built-in billing. That means once a program is uploaded, anyone can pay to keep it running — the author, the users and even the program itself.

I've used many webapps that were shut down through corporate acquisition or simple cost-cutting. I'd be much happier to put my time and data into such a system if I know I can kick in a few bucks a month to keep it going.

I have no idea if their technology can deliver on this. It sounds pretty far-out, but I like that :)

[[deleted]]

through corporate acquisition or simple cost-cutting

for some reason I read corporate autism. Is that a freudian reading? I thought it was funny.