Verification · Interoperability · Distributed systems

Research should make a system easier to verify, not merely easier to describe.

I study how decentralized applications can preserve the trust model of the protocols beneath them. My current work centers on light clients, cross-chain verification, and the boundary between a protocol claim and the software that demonstrates it.

Research questions

01

Blockchain Interoperability

Designing light client protocols and trust-minimized bridges for cross-chain communication in heterogeneous blockchain ecosystems.

02

Zero-Knowledge Proofs

Applying ZK-SNARKs and ZK-STARKs to privacy-preserving transactions, identity, and scalable verification in decentralized networks.

03

Decentralized Systems

Building resilient peer-to-peer networks, studying consensus mechanisms, and engineering fault-tolerant distributed applications.

Current work

Experiments →

Publications

I do not have a formal publication to list yet. Until that changes, I publish the technical notes and implementations above with their assumptions and current limits visible.

Academic background