[Haskell-cafe] Off-the-shelf Configurable BFT

[Carter Schonwald]

There are no known to actually correct bft agreement algs implemented
anywhere on the planet.  In any language.

On Saturday, October 22, 2016, Jonn Mostovoy <jm at memorici.de> wrote:

> Dear all,
> we're implementing a variant of cryptocurrency with deleged forgers.
> It is distributed in building ledger and decentralized in nodes
> participating jn forming transactions.
> For this we would need to have a BFT algorithm to govern the views on the
> network and deal with partitions.
> Implementation has to be industrial-strength and used in production.
> We're willing to contribute actively to such implementation development.
> We're looking at HoneyBadgerBFT as an ideal candidate, but it's not
> implemented in Haskell.
> The only BFT algorithm implementation we found is a toy RaftBFT
> implementation.
>
> If you have an opensource BFT implementation, or proprietary BFT
> implementation you would like to trade, please report those implementations
> here.
>
> If you need more details on our use case, don't hesitate to ask.
> Everything we do is open source and me or my colleagues will gladly answer
> any questions you might have.
>
> Sincerely yours,
> Jonn Mostovoy,
> Cardano SL Project Managet at IOHK | Serokell
>
> https://serokell.io https://iohk.io
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/haskell-cafe/attachments/20161023/178abe22/attachment.html>