Cooperation without coercion

Letlama explores how far cryptography and formal verification can go to establish enough trust for scalable systems to reach stable network effects, without coercion. Providing non-violent solutions to the collective action problem.

Distributing Accountability. Making trust verifiable.