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
Latest
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
formalverification.substack.com
Formal Verification
Copy link
Facebook
Email
Notes
More
Share
Copy link
Facebook
Email
Notes
More
This site requires JavaScript to run correctly. Please
turn on JavaScript
or unblock scripts
