flint:用于智能合约的Flint编程语言 源码
int石编程语言 Flint是一种新型的类型安全,面向合同的编程语言,专门用于在以太坊上编写健壮的智能合同。 Flint仍处于alpha开发阶段,尚未准备好用于生产中。 中型文章: 和 编程2018! 论文: 当前工作文件: 在苏珊·艾森巴赫(Susan Eisenbach)和索菲娅·德罗索普洛(Sophia Drossopoulou)教授的指导下,弗林特(Flint)是项目和夏季工作的一部分。 它的最初开发者是Franklin Schrans,他的论文是MEng,然后继续。 以下人为Flint做出了贡献:Matteo Bilardi,Aurel Bily,Mohammad Chowd
用户评论
推荐下载
-
smart contracts compare比较智能合约环境源码
富裕的托管合同 该合同将按照最高出价者的路线存储内容。 每次更换内容时,先前的所有者将被退还其原始金额。 合同所有者可以随时提取这些资金。 对于合同比较不同的智能合同环境而言,这只是武断的逻辑。 计划
22 2021-05-08 -
EASC边缘计算AI和智能合约源码
EdgeAI和智能合约 带有SmartContract项目代码的EdgeAI。 基于Hyperledger Fabric v2.2.0和python火炬v1.6.0。 安装 如何在您的操作系统上安装此
11 2021-04-07 -
Sparkle Quillhash Audit智能合约安全审核源码
审计报告 智能合约,区块链,DApps审计报告 通过我们的自动和手动分析,我们提供了完整的解决方案来识别和确定智能合约中的漏洞和违反逻辑的行为。 QuillAudits考虑了智能合约代码的以下不同方面
21 2021-03-25 -
fashionsmartcontract时尚区块链智能合约示例源码
时尚智能合约 时尚区块链智能合约示例
21 2021-02-27 -
pancake swap core核心智能合约源码
煎饼厂 可以在上找到有关PancakeSwap的详细文档。 当地发展 以下假设使用node@>=10 。 安装依赖项 yarn 编制合同 yarn compile 运行测试 yarn test
30 2021-04-17 -
ethabi编码和解码智能合约调用源码
ethabi:编码和解码智能合约调用
16 2021-02-23 -
colonyNetwork殖民地网络智能合约源码
殖民地网络 定义的运行殖民地网络的合同 错误赏金计划 Colony向报告ColonyNetwork合同中的错误和缺陷的外部开发人员提供了丰厚的奖励。 有关赏金,规则和术语的更多信息,请参见。 先决条件
16 2021-02-17 -
echidna以太坊智能合约模糊器源码
echidna:以太坊智能合约模糊器
17 2021-02-09 -
Solidity编写智能合约入门
在Solidity中,一个合约由一组代码(合约的函数)和数据(合约的状态)组成。合约位于以太坊区块链上的一个特殊地址。uint storedData;这行代码声明了一个状态变量,变量名为storedD
14 2021-02-01 -
HyperLedgerFabric智能合约速成.pdf
HyperLedgerFabric智能合约速成,基于Java和Go语言
11 2020-12-22
暂无评论