A good paper about Casper

Shachindra · Sep 1, 2020 · b89b0ed · b89b0ed
1 parent de70d02
commit b89b0ed
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/Refinement and Verification of CBC Casper.pdf b/Refinement and Verification of CBC Casper.pdf