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
$10/month
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.
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.
