Skip to content

Releases: casper-network/highway

v2.0.2

16 Jan 20:35
Compare
Choose a tag to compare

Introducing updates done for ACNS

v1.1: Merge pull request #9 from CasperLabs/OP-1446

30 Jun 10:13
4131830
Compare
Choose a tag to compare

Reformulated summit theorem and proof.

v1.0

02 Dec 21:16
72de6cf
Compare
Choose a tag to compare

An initial version of the paper, including safety and liveness proofs.