Why Subscribe to Formal Verification?

We are witnessing a fundamental paradigm shift in the way we transact value, contribute resources, and coordinate human behaviour globally - all brought about by the emergence of open-source decentralised networks and digital assets.

But the ecosystem moves so fast.

There’s too much noise out there. It makes it hard to know what actually matters and where the signals lie. What’s significant, what’s not. You need more ears to the ground.

You need Formal Verification.

Institutional-grade digital asset research

In collaboration with leading digital assets data companies, Formal Verification offers both key and concise data analysis and ecosystem research for decentralised networks so you can be attuned to the absolute key developments both on and off the chain.

Complete Formal Verification research will only be available to full members. Small sections will still be accessible to free members. Become a full Formal Verification member and receive all research for only $10/month or $100/year.

What Formal Verification gives you:

  • Weekly research of certain decentralised networks and cryptoassets

  • Weekly updates of the most consequential developments in crypto and why they are important to note

  • Special member-only bonus content

All designed to help you get closer to the beating hearts of decentralised networks.

There is a consistent structure:

On-chain analysis

  • In The Network - Concise decentralised network and cryptoasset analysis driven by on-chain data feeds

  • Deep Dives - Macro deep dive research including competitive landscape and narratives

Off-chain analysis

  • In The Week - Succinct run-downs of key fundamental updates of networks and, most importantly, their significance

  • Radar - exploration of the most exciting new projects on the horizon (for the VCs out there)

Subscribers also get bonus content

  • Private deals on tried and tested product/services from all corners of the ecosystem available for Formal Verification members. The deals are updated regularly with new deals that are secured for members

  • Specially curated tech and non-tech roles in the most recognised crypto projects and companies in the space

  • Exclusive guest posts from analysts and researchers offering their unique insight


Subscribe to Formal Verification

Step-up your knowledge about crypto networks and ecosystem. Formal Verification breaks down the information so you don’t have to. We find the signal in the noise. All for the price of a tasty blueberry muffin every week. Want in? Subscribe to the full Formal Verification newsletter below.

Share Formal Verification

Incentive Design

/ɪnˈsɛntɪv/ /dɪˈzaɪn/

Mechanisms that are responsible for driving the growth of a network by incentivising network participants to contribute resources to that network.

Lewis Harland is a research advisor for ID Theory - a cryptoasset investment firm. Prior to researching decentralised networks and digital assets in 2018, Lewis was the business manager at Tilney Investment Management London.

Subscribe to Formal Verification

A new kind of crypto research.


Lewis Harland is a research advisor for ID Theory - a fund investing in decentralised networks, an incentive design maximalist, and lover of all things Feynman.