Formal Verification

Formal Verification

Share this post

Formal Verification
Formal Verification
Radar - SKALE

Radar - SKALE

Lewis Harland
Jun 24, 2020
∙ Paid
Share

SKALE

SKALE is a security and execution layer for dApps running on Ethereum. It was recently announced that the mainnet will launch on June 30th.

There are 4 aspects to SKALE that particularly deserve attention on your radar:

  • Extensive ‘elastic’ sidechain configuration

  • Use of BLS signatures

  • Deployment of Proof-of-Use for its token launch

  • Its positioning withi…

This post is for paid subscribers

Already a paid subscriber? Sign in
© 2025 Lewis Harland
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share