Odysseus

What does aerospace do that we can adopt?

They just have very concrete gates, like failure is not an option, right?

So formally verifying systems, having systems that are extremely simple, simplicity is directly correlated with security, means that you can understand it, you can audit it, you can formally verify it.

And basically you have a lot of stages where you want to make sure that failure is not an option.

The system can't fail.

And if it fails, it's isolated to that subsystem.

And you have multiple systems for redundancy.

Yeah, redundancy.

Yeah, so we've built effectively a very powerful circuit breaker that allows protocols to do runtime enforcement.

So we enforce certain checks during the transaction as it's added to the block, effectively making sure that bad states or bad outcomes can't happen.

But failure is not an option in these systems.

Like that's the new mindset.

Because so far we say, oh, it's a process-oriented mindset so far.

We say we did audits, right?

Or we did testing.

We focus on the process.

But nobody's really saying that failure is not an option.

If you see auditors, never take liability.

Protocols, never take liability.

All the terms of service, they say this is alpha software, experimental software.