Trustless Computer is software built by Unforeseen Consequences Inc. We’re building tools for verifiable computation and trustworthy systems.