Taipan: a block-chain with democratic consensus and validated contracts
Taipan: a block-chain with democratic consensus and validated contracts
批准号:
DP180104030
负责人:
A/Prof Vincent Gramoli
金额:
$25.73万
依托单位:
依托单位国家:
澳大利亚
项目类别:
Discovery Projects
财政年份:
2018
资助国家:
澳大利亚
项目状态:
已结题
起止时间:
2018-06-04 至 2021-06-03
中文摘要
点击翻译按钮获取中文摘要
英文摘要
Blockchains keep records by mass collaboration using peer-to-peer and cryptographical algorithms. Programmable blockchain technology can disrupt the finance industry, governance, and legal services by reducing the role for intermediaries such as banks and government authorities. This project aims to propose a new block-chain for “Trust Among Individual ParticipANts” (TAIPAN). The main feature of TAIPAN’s programmable block-chain is the integrity and security of individual ownership records that current block-chains lack. This project will aim to overcome two major threats in current programmable block-chains, double-spending among participants, and security vulnerabilities in smart contracts. TAIPAN will provide a democratic and leaderless consensus algorithm that will avoid double-spending, and a new bug-checking framework for smart contracts that finds anomalies before smart contracts are admitted to the block-chain.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
The red belly blockchain: a scalable blockchain for internet of things
-
批准号:FT180100496
-
项目类别:ARC Future Fellowships
-
资助金额:$59.92万
-
财政年份:2019
-
负责人:A/Prof Vincent Gramoli
-
依托单位:
Data Structures for Multi-Core
-
批准号:DP160104801
-
项目类别:Discovery Projects
-
资助金额:$26.98万
-
财政年份:2016
-
负责人:A/Prof Vincent Gramoli
-
依托单位:
国内基金
海外基金
登录
查看更多内容
GTPase家族蛋白A调控HIV-1永久潜伏的分子机制研究
-
批准号:81930062
-
项目类别:重点项目
-
资助金额:297.0万元
-
批准年份:2019
-
负责人:张文艳
-
依托单位:
几类(李、左对称)共形(双)代数的结构和表示
-
批准号:11661063
-
项目类别:地区科学基金项目
-
资助金额:39.0万元
-
批准年份:2016
-
负责人:王伟
-
依托单位:
安氏II类1分类伴下颌后缩生长发育期患者Twin Block矫治后上气道反应的流体动力学仿真模拟
-
批准号:81571010
-
项目类别:面上项目
-
资助金额:57.0万元
-
批准年份:2015
-
负责人:刘东旭
-
依托单位:
(Tl,K,Rb)yFe2-xSe2化合物中的超导电性及与之相关的成分、微结构问题
-
批准号:11204059
-
项目类别:青年科学基金项目
-
资助金额:30.0万元
-
批准年份:2012
-
负责人:王杭栋
-
依托单位:
Block 型无穷维李代数在Toda系统中的应用
-
批准号:11201251
-
项目类别:青年科学基金项目
-
资助金额:22.0万元
-
批准年份:2012
-
负责人:李传忠
-
依托单位:
限制李超代数的广义约化表示
-
批准号:11126062
-
项目类别:数学天元基金项目
-
资助金额:3.0万元
-
批准年份:2011
-
负责人:姚裕丰
-
依托单位:
李代数的结构与表示中的若干问题
-
批准号:11071187
-
项目类别:面上项目
-
资助金额:31.0万元
-
批准年份:2010
-
负责人:靳全勤
-
依托单位:
基于Laplace Error惩罚函数的变量选择方法及其在全基因组关联分析中的应用
-
批准号:11001280
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2010
-
负责人:王学钦
-
依托单位:
嵌段共聚物多级自组装的多尺度模拟
-
批准号:20974040
-
项目类别:面上项目
-
资助金额:33.0万元
-
批准年份:2009
-
负责人:吕中元
-
依托单位:
李代数的量子化与双参数量子群的结构与表示
-
批准号:10971065
-
项目类别:面上项目
-
资助金额:22.0万元
-
批准年份:2009
-
负责人:胡乃红
-
依托单位: