Topic: Kripke 安全的智能合约 (Read 807 times)
去中心化商城也许需要这项技术
现在确实智能合约比较热
from http://btc12.com/
bitcointalk链接：https://bitcointalksearch.org/topic/ann-kripke-provably-secure-contracts-functional-language-on-chain-encryption-1579310
个人观点：确实是个很吸引人眼球的概念，但风险很大，开发者匿名，预留代币数额大，预售目标（考虑开发匿名情况）额度大。
在已知区块链安全性漏洞的大环境下（特别是交易延展性），我们将推出Kripke，探索通过“严格指示”解决安全问题。
问题描述：
以太坊智能合约无法保证其非信任性(免信任），以太坊图灵完备脚本语言本身不可能证明Solidity中合约返回一致结果。安全问题是Solidity和其他图灵完备语言的固有特性。
因此我们将这个问题与 1972年Saul Kripke（克里普克）在Naming and Necessity提出的“严格指示词”理念做对比。
“严格指示词”能够指示绝对的超于实际语言所能表达的所有可能世界的一个对象
直观的讲，对于智能合约而言，严格指示指合约必须严格按照一个方式执行。因此可以完全规避比特币延展性和以太坊不可保证Solidity语言所描写合约执行结果的安全性问题。因此，我们对Kripke安全区块链属性定义如下kripke-security Kripke安全性
Kripke安全性通过保证执行结果实现安全性。如果某个既有语言中的描述实现严格指示，那么他即达到Kripke安全性，也就是在所有可能世界中，仅仅代表一个含义。
实现Kripke安全性的可选技术为对执行语言进行形式验证。
kripke-function Kripke 函数
Kripke函数同样是在所有语义范畴下可能世界中都返回相同唯一结果。显而易见，运行Kripke函数的语言包括 Haskell，Scala
kripke-keystore Kripke密匙库
Kripke密匙库是一整套Kripke函数系统，实现链上密匙存储
kripke-contract Kripke合约
Kripke合约只利用Kripke函数，保证完全非延展结果。
kripke-governance Kripke管理模式
Kripke管理框架中仅使用Kripke合约确定完全可证明的免信任结果，应用场景如投票，分配资金。
//
Kripke代币参数
Concurrent POW/POS implementation 进行PoW/PoS 联合挖矿
POW consensus algorithm 共识机制: SHA256
Block time区块时间: ~10 minutes
Block reward to decrease in inverse proportion to difficulty 区块奖励随难度增长相应降低
POS coin age maturation POS熟币时间: 24 hours
Annual POS interest 年PoS率: 4%
Premine预挖: 10 million 一千万, held by Foundation for ITO sale 由预售团队基金会持有
project phases 项目分期
Phase 1 第一阶段
Launch date 首发时间: 20 Aug 2016
Blockchain inception 区块生成
Mining begins 开始挖矿
ICO funds mined at genesis block 创世块预挖
Temporary use of stock PPC clone 暂时使用PPC代码
Phase 2 第二阶段
ICO commences ICO开始
Sale of 10 million tokens 预售一千万代币
Minimum amount to proceed to Phase 3: 2000 BTC 进入第三阶段至少要募集2000BTC
Phase 3 第三阶段
Kripke-secure development begins Kripke 安全性技术开发
Broad-based community collaboration, via Foundation contracts 通过基金会合约进行广泛社区合作
Foundation to retain a portion of unsold ICO tokens to fund development (disbursed via contract)
基金会获取未售罄ICO代币作为开发资金（通过合约领取）
references 参考文献
http://langsec.org/
https://en.wikipedia.org/wiki/Formal_methods
http://plato.stanford.edu/entries/rigid-designators/
http://plato.stanford.edu/entries/possible-worlds/
https://en.wikipedia.org/wiki/Chomsky_hierarchy
*Due to the experimental nature of this project, and due to its potential to impact upon our public identities and employment, we choose to remain anonymous for the time being.
团队的免责条款：因该项目具有试验性质，并且有可能对开发者公开身份及职业生涯有潜在影响，团队暂时保持匿名！
Please note: this project is strictly experimental in nature and is not "currency" or "property". The project may fail, or fail to attract sufficient support. Its purpose is solely to explore the potential of rigid designation to secure smart contracts.
此项目完全是试验性质，并不是货币或财产性质，项目或许失败，或不能获取足额支持。开发目的仅为探索“严格指示”技术实现智能合约安全。
bitcointalk链接：https://bitcointalksearch.org/topic/ann-kripke-provably-secure-contracts-functional-language-on-chain-encryption-1579310
个人观点：确实是个很吸引人眼球的概念，但风险很大，开发者匿名，预留代币数额大，预售目标（考虑开发匿名情况）额度大。
在已知区块链安全性漏洞的大环境下（特别是交易延展性），我们将推出Kripke，探索通过“严格指示”解决安全问题。
问题描述：
以太坊智能合约无法保证其非信任性(免信任），以太坊图灵完备脚本语言本身不可能证明Solidity中合约返回一致结果。安全问题是Solidity和其他图灵完备语言的固有特性。
因此我们将这个问题与 1972年Saul Kripke（克里普克）在Naming and Necessity提出的“严格指示词”理念做对比。
“严格指示词”能够指示绝对的超于实际语言所能表达的所有可能世界的一个对象
直观的讲，对于智能合约而言，严格指示指合约必须严格按照一个方式执行。因此可以完全规避比特币延展性和以太坊不可保证Solidity语言所描写合约执行结果的安全性问题。因此，我们对Kripke安全区块链属性定义如下kripke-security Kripke安全性
Kripke安全性通过保证执行结果实现安全性。如果某个既有语言中的描述实现严格指示，那么他即达到Kripke安全性，也就是在所有可能世界中，仅仅代表一个含义。
实现Kripke安全性的可选技术为对执行语言进行形式验证。
kripke-function Kripke 函数
Kripke函数同样是在所有语义范畴下可能世界中都返回相同唯一结果。显而易见，运行Kripke函数的语言包括 Haskell，Scala
kripke-keystore Kripke密匙库
Kripke密匙库是一整套Kripke函数系统，实现链上密匙存储
kripke-contract Kripke合约
Kripke合约只利用Kripke函数，保证完全非延展结果。
kripke-governance Kripke管理模式
Kripke管理框架中仅使用Kripke合约确定完全可证明的免信任结果，应用场景如投票，分配资金。
//
Kripke代币参数
Concurrent POW/POS implementation 进行PoW/PoS 联合挖矿
POW consensus algorithm 共识机制: SHA256
Block time区块时间: ~10 minutes
Block reward to decrease in inverse proportion to difficulty 区块奖励随难度增长相应降低
POS coin age maturation POS熟币时间: 24 hours
Annual POS interest 年PoS率: 4%
Premine预挖: 10 million 一千万, held by Foundation for ITO sale 由预售团队基金会持有
project phases 项目分期
Phase 1 第一阶段
Launch date 首发时间: 20 Aug 2016
Blockchain inception 区块生成
Mining begins 开始挖矿
ICO funds mined at genesis block 创世块预挖
Temporary use of stock PPC clone 暂时使用PPC代码
Phase 2 第二阶段
ICO commences ICO开始
Sale of 10 million tokens 预售一千万代币
Minimum amount to proceed to Phase 3: 2000 BTC 进入第三阶段至少要募集2000BTC
Phase 3 第三阶段
Kripke-secure development begins Kripke 安全性技术开发
Broad-based community collaboration, via Foundation contracts 通过基金会合约进行广泛社区合作
Foundation to retain a portion of unsold ICO tokens to fund development (disbursed via contract)
基金会获取未售罄ICO代币作为开发资金（通过合约领取）
references 参考文献
http://langsec.org/
https://en.wikipedia.org/wiki/Formal_methods
http://plato.stanford.edu/entries/rigid-designators/
http://plato.stanford.edu/entries/possible-worlds/
https://en.wikipedia.org/wiki/Chomsky_hierarchy
*Due to the experimental nature of this project, and due to its potential to impact upon our public identities and employment, we choose to remain anonymous for the time being.
团队的免责条款：因该项目具有试验性质，并且有可能对开发者公开身份及职业生涯有潜在影响，团队暂时保持匿名！
Please note: this project is strictly experimental in nature and is not "currency" or "property". The project may fail, or fail to attract sufficient support. Its purpose is solely to explore the potential of rigid designation to secure smart contracts.
此项目完全是试验性质，并不是货币或财产性质，项目或许失败，或不能获取足额支持。开发目的仅为探索“严格指示”技术实现智能合约安全。
Jump to: