Formal Verification
Subscribe
Sign in
Home
Archive
About
Get closer to the beating hearts of crypto networks.
A new kind of crypto research.
Lewis Harland
May 7, 2020
Share this post
Get closer to the beating hearts of crypto networks.
formalverification.substack.com
Copy link
Twitter
Facebook
Email
New
Top
Formal Verification - A New Chapter
Dear Formal Verification members, Apologies for the radio silence in the last few days! When I came up with the idea of Formal Verification back in…
Lewis Harland
Sep 4, 2020
Share this post
Formal Verification - A New Chapter
formalverification.substack.com
Copy link
Twitter
Facebook
Email
In The Week
Loopring, OMG Network, Ren, xTokens, Nexus Mutual
Lewis Harland
Aug 21, 2020
Share this post
In The Week
formalverification.substack.com
Copy link
Twitter
Facebook
Email
In The Network - Kyber
Volume, BRRs, Fees
Lewis Harland
Aug 18, 2020
Share this post
In The Network - Kyber
formalverification.substack.com
Copy link
Twitter
Facebook
Email
In The Week
Ethereum, Chi, Curve, Aragon, Tezos
Lewis Harland
Aug 14, 2020
Share this post
In The Week
formalverification.substack.com
Copy link
Twitter
Facebook
Email
In The Network - DEX Aggregators
Adoption, Evolution, Efficiencies
Lewis Harland
Aug 11, 2020
Share this post
In The Network - DEX Aggregators
formalverification.substack.com
Copy link
Twitter
Facebook
Email
In The Week
0x, Set, Ren, Aave, Opyn
Lewis Harland
Aug 7, 2020
Share this post
In The Week
formalverification.substack.com
Copy link
Twitter
Facebook
Email
Radar - Pods
One of the largest opportunities for DeFi protocols to tap into is the derivative market. With over $4 billion now locked in DeFi, there is a growing…
Lewis Harland
Aug 5, 2020
Share this post
Radar - Pods
formalverification.substack.com
Copy link
Twitter
Facebook
Email
See all
Formal Verification
Subscribe
About
Archive
Sitemap
Share this publication
Formal Verification
formalverification.substack.com
Copy link
Twitter
Facebook
Email
Formal Verification
A new kind of crypto research.
By Lewis Harland
· Launched 3 years ago
Subscribe
No thanks
By registering you agree to Substack's
Terms of Service
, our
Privacy Policy
, and our
Information Collection Notice
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts