我在哪里可以得到可靠的合同审查？要多少钱？

Question

基本上，我想要部署一个彩票合同，在默认情况下应该非常精确和安全，因为所有的余额将存储在合同上，我还必须跟踪中奖者的余额。我读过一些安全问题和种族状况问题，但最好能从我的头脑之外得到一些评论。

Answer 1

开放齐柏林飞艇和衰老为智能合同提供安全审查。

就彩票而言，你可能拥有的最基本的问题是“寻找”随机性来选择彩票的中奖者。

要发现随机性，有以下解决方案：

1. 使用前一个块的散列。这种方法很容易阻止隐藏攻击。这意味着，tx的矿工将知道谁是赢家时，他运行聪明的合同。然后，如果彩票结果对[来源]不利，他可以选择不添加挖掘块。
2. 使用随机智能契约(如RandDao )。没有真正使用它，所以我不确定它提供了什么安全保证。
3. 使用oracle服务(如神谕 )。这个解决方案在理论上可能是安全的，但是您在设计中引入了一个可信任的方。
4. 收集用户的随机性。这应该是布卢姆的硬币在电话上翻滚的通用版本。问题是这种方法是协议有两个阶段。提交阶段，当各方承诺一个随机数和一个揭示阶段，当各方揭示他们的随机性。要设计这样的方案，您必须考虑到各方可能选择中止协议而不透露它们的提交。此外，该方案基于用户提供足够高熵的随机性的能力(字符串123456有多随机?)。

一般说来，链的随机性是一个开放的问题。您可以看到ethereum页面，以了解我的答案以太研究中没有提到的其他解决方案。

我不属于上述任何一家公司。希望我的回答能帮上忙。

Answer 2

好吧，如果你有钱的话，你可以用齐柏林看到。您也可以查看这个云母自由职业者平台。你可以探索一些围绕以太/智能合同为中心的细分或不和谐的社区，看看是否有人愿意这样做。

Answer 3

@BokkyPooBah是一名聪明的合同审计师。他审计了大量的精明合同。https://github.com/bokkypoobah

免责声明:我没有关联。