合约提供了添加公司、添加银行、获取公司信息、获取银行信息、获取所有公司地址、获取所有银行地址以及获取数字发票收据的功能。在存证交易方面，合约实现了三种交易类型：银行向公司交易、公司与公司交易和公司向银行交易。每种交易类型都包括了发送方地址、接受方地址、交易金额和存证类型等信息。在每笔交易完成后，会生成一个对应的数字发票收据，并更新相关账户的资产余额。

Roles角色合约.AirlineV.sol航空公司合约演示：输入账号，点击transact使用部署的账号进行增加操作isairlineV进行判断账号是否为航空公司身份