Formal Verification
Subscribe
Sign in
Home
Archive
About
Get closer to the beating hearts of crypto networks.
A new kind of crypto research.
May 7, 2020
•
Lewis Harland
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…
Sep 4, 2020
•
Lewis Harland
In The Week
Loopring, OMG Network, Ren, xTokens, Nexus Mutual
Aug 21, 2020
•
Lewis Harland
In The Network - Kyber
Volume, BRRs, Fees
Aug 18, 2020
•
Lewis Harland
In The Week
Ethereum, Chi, Curve, Aragon, Tezos
Aug 14, 2020
•
Lewis Harland
In The Network - DEX Aggregators
Adoption, Evolution, Efficiencies
Aug 11, 2020
•
Lewis Harland
In The Week
0x, Set, Ren, Aave, Opyn
Aug 7, 2020
•
Lewis Harland
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…
Aug 5, 2020
•
Lewis Harland
See all
Formal Verification
A new kind of crypto research.
Subscribe
Formal Verification
Subscribe
About
Archive
Sitemap
Share this publication
Formal Verification
formalverification.substack.com
Copy link
Facebook
Email
Notes
Other
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