For best experience please turn on javascript and use a modern browser!
You are using a browser that is no longer supported by Microsoft. Please upgrade your browser. The site may not present itself correctly if you continue browsing.
Andrea Leiter
How do we read systems that were never designed to be read by humans? Cryptologix investigates the layered languages of blockchain — from deterministic machine code to probabilistic inference — and asks what it means to make these systems legible.

The Problem

Blockchain systems operate across multiple layers of abstraction, each demanding a fundamentally different mode of reasoning. Smart contracts execute deterministic logic, consensus mechanisms rely on probabilistic guarantees, machine learning models recognise patterns in on-chain data, and users must ultimately interpret all of this in natural language. These layers rarely communicate transparently with one another.

The Approach

Cryptologix develops frameworks for translating between these reasoning modes — making the implicit logics of blockchain infrastructure explicit and accessible. The project draws on computer science, philosophy of technology, and science and technology studies to build conceptual and practical tools for legibility across the stack.

Dr. A. (Andrea) Leiter PhD

Faculty of Law

Public International Law