Formal Verification of Hyperledger Fabric Chaincode. Example for cross border inter-bank asset transfer in fabric 1.4
nodejs
golang
hyperledger
docker-images
hyperledger-fabric
llvm-bitcode
chaincode
llvm-ir
etcd-cluster
hyperledger-fabric-chaincode
-
Updated
Apr 24, 2022 - LLVM