search

AntelopeIO / leap

C++ implementation of the Antelope protocol
Other
116 stars 68 forks source link

IF support: Review HotStuff pseudo-code and proofs #1425

Closed arhag closed 1 year ago

arhag commented 1 year ago

Review HotStuff pseudo-code and proofs that are part of the Instant Finality milestone 1 deliverable.

arhag commented 1 year ago

Replaced by https://github.com/AntelopeIO/spring/issues/92.