I started with an English spec for FastSync. Please have a look!
There might be pointers to the blockchain spec VDD/blockchain/blockchain.md which are not up-to-date on the master branch yet. I plan to make another PR for the branch josef/VDDverification soon, which also will include a complete draft for the English blockchain spec with invariants (along with the VDD version of light client verification).
I started with an English spec for FastSync. Please have a look!
There might be pointers to the blockchain spec VDD/blockchain/blockchain.md which are not up-to-date on the master branch yet. I plan to make another PR for the branch josef/VDDverification soon, which also will include a complete draft for the English blockchain spec with invariants (along with the VDD version of light client verification).