上周，DACA区块链协会与清华大学 iCenter“我们都是中本聪”（We are Satoshi——Open Blockchain Sofeware in China）合作项目在清华iCenter中心李兆基大楼举行了签约仪式，宣布“我们都是中本聪”项目正式启动。

该项目是国内首个就“区块链核心底层技术开发”进行独立运作的计划。由DACA区块链协会与清华大学 iCenter合作发起，旨在促进区块链技术开发在国内的发展，吸引及培养更多区块链技术开发人员，让国际社区也能听到来自中国社区的声音。

清华大学iCenter中心代表顾学雍教授、比特大陆CEO吴忌寒、BITBANK CEO花松秀、火币网CTO程显峰、BTCC副总裁朱导麟、比太钱包CEO文浩、Factom&网录联合创始人吕旭军、中国科学院计算机网络信息中心百人计划博士研究员贺海武、DACA协会会长（比特币交易网CEO）张寿松、DACA协会秘书长韩锋、DACA协会副秘书长徐义吉、胡洪杰、DACA协会助理李戈等嘉宾出席了本次项目签约仪式。

签约仪式上，各位嘉宾阐述了各自对区块链核心技术开发的理解及发展趋势进行了展望。积极讨论了国内外区块链技术的开发现状、生态环境、安全问题等，并对本次项目的实施提出了许多合理化建议及意见。

据了解，“我们都是中本聪”项目下月起将启动人才招募计划，通过区块链公益大学行推广，吸引有志于区块链开源项目开发的高校相关专业师生加入，并建立人才库。随之，将对这些人员进行专门的系统开发课程培训。培训内容会基于清华大学计算思维课程Nand2Tetris，该课程已在清华大学进行了为期1年的测试， 会尽快上线。对于通过训练并成功完成测验、并可以贡献有质量代码程序的人才， 项目组将每半年奖励一次。同时，下个月会展开社区募捐，希望用社区的力量来推动整个行业高质量人才的不断发展。

清华大学iCenter中心代表顾学雍教授表示将尽快推动该计划首先在清华落地。具体实施过程，DACA协会秘书长韩锋介绍：

“‘我们都是中本聪项目’已经和清华大学iCenter签约，纳入清华大学计算思维课程，和清华大学联合开发Nand2Tetris网站。清华大学为参加我们都是中本聪项目的个人和区块链企业提供相应的技术和课程支持，并阶段性的荣誉授予有突出贡献的个人开发者。促进产学研和行业的快速发展。并在清华定期召开比特币核心技术开发交流培训活动，不管是CORE，CLACSIC，UNLIMITED，顶级的专家都请来，我们不站队，只希望推动技术进步。”

新加坡国立大学王新喜博士远程参与了会议讨论，并展示了Provably correct Bitcoin（可证明正确的比特币）计划，这也是本次会议达成的最大共识。他介绍，产生该想法的主要原因是比特币本身并不安全，

“前段时间DAO被攻击了，造成了很大的事故，比特币虽然还没有出现过类似的事件，但是并不代表他以后不会出现。如果去看比特币的软件开发流程，就知道它并不严谨。所以我们需要一种形式化(数学)方法，来保证比特币100%没有bug。”

王新喜博士是新加坡比特币期权交易平台Coinut.com的创始人，该平台于2014年创立，由比特大陆和BoostVC投资。

Provably correct Bitcoin项目的具体实施过程，王新喜介绍：我们需要重写比特币代码，并且像证明数学命题一样证明我们写的代码是对的。当然整个比特币系统都做一遍代价是高昂的，所以会先着手比特币核心共识部分。

同时，他计划在新加坡国立大学建立研究中心，允许NUS的博士生、研究生加入，研究中心也会招募博士后加入。目前已有三位对blockchain有深入研究的新加坡国立大学的教授对该项目感兴趣。

“另外在我们定义好specification之后，也会充分发动社区力量，让社区参与实现，
整个项目可能会需要几年。”

DACA协会将帮助发展社区力量加速该项目的进展，比银集团和比特大陆都表示将会全力支持该计划作为“我们都是中本聪”项目的核心。

附“Provably correct Bitcoin（可证明正确的比特币）”计划PPT：http://8btc.com/doc-view-806.html