fabric-chaincode-haskell is a Haskell shim for Hyperledger Fabric to allow the authoring of smart contracts in Haskell.
As chaincode often contains business and security critical code, it is important that the code is correct. Implications for contracts containing bugs and exploits can lead to attacks like the DAO and Parity attacks on the Ethereum blockchain, which can have significant economic impacts. Functionally pure and strongly typed languages like Haskell provide a much greater degree of confidence in correctness.
fabric-chaincode-haskell allows the authorship of chaincode that gives a higher confidence of correctness.
Allowing chaincode to be authored in Haskell also opens up the world of blockchain to the large and enthusiastic community of Haskell developers.
This lab will also experiment with formal verification of the shim as well as user-defined chaincode. This work was presented at Hyperledger Global Forum 2020 and a recording of the talk is now available.
Github IDs for the initial committers.
- Arnaud Le Hors (email@example.com) - Chair of Hyperledger TSC