最近看知乎，发现知乎上有些文章真的醍醐灌顶。印象比较深的是，文因互联CEO鲍捷的一篇文章：最快的成长方式就是慢慢来。创业最关键的能力，就是“不被卡住”的能力。这才是“探索力”的根本，是创业“执行力”的核心。
很多人都熟悉让别人告知一个明确的目标，然后清晰的执行。但是，创业是一种探索，没有人会告诉你这样的明确的目标。探索，是一种反人性的活动。大多数人会对探索畏惧，恐惧，抵触，茫然。
“不被卡住”，需要掌握好“任务分解，快速迭代”的方法论，需要建立“交付”的态度，需要“勤于沟通”，需要”不固执己见“，更需要”不断复盘“。”不被卡住“，还有个要注意的是，有多少本钱打多少仗，不要总想着打大仗，要学会从小仗慢慢打。
ethsnarks在libsnark的基础上，实现了以太坊上与zkSNARK相关的智能合约和电路。ethsnarks本身也是libsnark应用很好的学习示例。
ethsnarks的源代码地址：
https://github.com/HarryR/ethsnarks.git
本文中使用的ethsnarks源代码的最后一个commit如下：
commit9adc64355adb9154ba5042c0fadf84c438b8a08a
Author:WanseobLim
Date:FriAug1601:49:192019+0900
AddFrfieldclasstothefield.py
01源代码结构
contracts-实现了groth16的验证智能合约，椭圆曲线的计算，MerkleTree以及MiMCHash计算的智能合约。这些智能合约可以通过truffle进行部署测试。部署相关的脚本在migrations目录下。
ethsnarks-python实现的相关功能，包括pedersen/mimc/poseidon等hash函数，groth16验证，以及椭圆曲线的计算。
test-以上两个功能的测试代码，采用python语言实现。
depends-依赖库，包括libsnark，libfqfft等等。
src-基于libsnark的gadget1库实现的更多的gadget。本文着重介绍这些gadget的实现。
动态 | 莱特币创始人李启威删除关于瞬时挖矿阶段的推文 遭社区批评:莱特币创始人李启威近日在推特发表与其货币瞬时挖矿（instamine）阶段相关的评论，尽管Instamine发生在八年前，该话题重新引发了争议，李启威之后删除了似乎针对竞争对手Dash的推文。 在这条后来被删除的推文中，他试图解释Instamine阶段，并指出Dash可能犯了更具攻击性的罪行。“很难估计最初有多少算力会扑向它。但对于莱特币来说，这仍然是公平的，因为每个人都有公平的机会。Dash的不公平之处在于，它只在最初几天向朋友推出，之后总供应量就减少了。” 李启威在Redidt文章中为早年将莱特币挖矿难度设置很低的行为进行辩护，“如果我在发布时知道算力是多少，我可以将初始难度设置得更高。但宁愿在发布时犯低设置的错误，以防范51%的攻击，这就是我所做的。”社区对他最初发布的推特和随后删除的行为表示不满。 （瞬时挖矿指一种新的加密货币在发行后很短的时间内，能很容易被获得的过程。瞬时挖矿的目的是在早期积累大量可用的货币供应，以在后期出售获取高利润。）[2019/7/29]
02gadget实现
src目录下的源代码结构如下：
2.1ethsnarks.hpp
libsnark的gadget1库主要围绕sha256实现各种gadgets。ethsnarks在alt_bn128这条椭圆曲线上实现了基于Field的hash函数。
libsnark的电路中各种定义都非常长。libsnark定义一个变量数组类型：pb_variable_array。
ethsnarks.hpp精简了在alt_bn128这条椭圆曲线相关的类型声明：
namespaceethsnarks{
typedeflibff::bigintLimbT;
typedeflibff::alt_bn128_G1G1T;
typedeflibff::alt_bn128_G2G2T;
typedeflibff::alt_bn128_ppppT;
typedeflibff::FqFqT;
typedeflibff::FrFieldT;
typedeflibsnark::r1cs_constraintConstraintT;
bi网关于BI网空投时讯币(XCT)发放公告:B-I.TOP已完成Cryptocurrency Time(XCT)空投的代币分发，按照1XAS:8XCT的比例，全额分发到快照时持币用户。[2018/5/4]
typedeflibsnark::protoboardProtoboardT;
typedeflibsnark::pb_variableVariableT;
typedeflibsnark::pb_variable_arrayVariableArrayT;
typedeflibsnark::pb_linear_combinationLinearCombinationT;
typedeflibsnark::pb_linear_combination_arrayLinearCombinationArrayT;
typedeflibsnark::linear_termLinearTermT;
typedeflibsnark::gadgetGadgetT;
typedeflibsnark::r1cs_gg_ppzksnark_zok_proofProofT;
typedeflibsnark::r1cs_gg_ppzksnark_zok_proving_keyProvingKeyT;
typedeflibsnark::r1cs_gg_ppzksnark_zok_verification_keyVerificationKeyT;
typedeflibsnark::r1cs_gg_ppzksnark_zok_primary_inputPrimaryInputT;
typedeflibsnark::r1cs_gg_ppzksnark_zok_auxiliary_inputAuxiliaryInputT;
}
其中，FieldT特指在alt_bn128线上的点的个数。
2.2utils.hpp/utils.cpp
utils实现了电路实现中常用的功能性函数。
inlineconstVariableTmake_variable(ProtoboardT&in_pb,conststd::string&annotation)
证券时报：比特币挖矿是一场关于电力的游戏:今日早间，证券时报刊文称比特币挖矿一是场关于电力的游戏。目前大型矿企与小型矿工最大的区别在于成本不同，海外市场同样如此。小矿工需要从其他制造商处购买挖矿的硬件设备，大型矿工却能批量订购零部件，甚至是电费都能获得很大折扣。区块链基础设施供应商BitFury透露，公司不仅有足够的现金支付押金、建立矿场，还有能力对接电厂来降低电力成本。根据在美国和中国挖矿环境（电力成本、硬件开支等）的不同，产生一枚比特币的成本大约在3000美元到7000美元不等。比特币挖矿是一场电力转移的游戏，但耗电量的这种增速显然不可持续。随着比特币价格从高位回落，以及耗电量突破一定阈值后引发的人们对能源安全问题的关注，都会反过来制约矿池数量及算力，最终会达到一个相对均衡，不会无限制地线性增长下去。[2018/4/20]
{
VariableTx;
x.allocate(in_pb,annotation);
returnx;
}
make_variable创建一个VariableT。
constVariableArrayTflatten(conststd::vector&in_scalars)
{
size_ttotal_sz=0;
for(constauto&scalar:in_scalars)
total_sz+=scalar.size();
VariableArrayTresult;
result.resize(total_sz);
size_toffset=0;
for(constauto&scalar:in_scalars)
{
for(size_ti=0;i<scalar.size();i++)
{
result.index=scalar.index;
}
}
returnresult;
}
flatten函数将多个VariableArrayT合并成一个VariableArray。其实也很简单，就是把VariableArray中的index都合并到一个VariableArray中。
声音 | 海创链创始人兼CEO：今年会有大量底层技术背景的公链企业集中涌入应用市场:6月10日讯，据青岛日报消息，近日，海创链创始人兼CEO张弢接受采访时表示，“从今年参加的各种论坛上就能感受到，行业正在转向应用。比如，很多技术型企业原来都在网上社区内做代码研究，但现在，都在谈怎么落地应用。”今年会有大量有着底层技术背景的公链企业集中涌入应用市场，到那时，对产业资源的获取就会进入到白热化阶段。他还指出，未来3个月，对海创链来说至关重要。“能否真正成为行业中的头部企业，关键在未来3个月。”[2019/6/10]
2.3r1cs_gg_ppzksnark_zok
在libsnark的r1cs_gg_ppzksnark的基础上，稍做改动，让以太坊的预编译智能合约能验证groth16的算法。r1cs_gg_ppzksnark_zok目录中的README.md很清晰的解释了改动的原因。
从以太坊的拜占庭硬分叉之后，以太坊引入了基于ALT_BN128的配对函数计算的预编译合约，合约实现的功能如下：
给定ALT_BN128上两个基点一系列的点(a1,b1,a2,b2,...,ak,bk)，预编译合约能检查：
e(a1,b1)*...*e(ak,bk)是否等于1？
Groth16原有的验证系数为：vk.alpha_beta，vk.gamma以及vk.delta。Groth16的验证等式为：
vk.alpha_beta=e(A,B)*e(-x,vk.gamma)*e(-C,vk.delta)
其中vk.alpha_beta为e(alpha,beta)。
如果直接用之前的验证等式，以太坊上的预编译合约没法实现。在不影响Groth16的安全性的情况下，将Groth16的验证系数变为：vk.alpha，vk.beta，vk.gamma以及vk.delta。Groth16的验证等式也变为：
e(A,B)*e(-x,vk.gamma)*e(-C,vk.delta)*e(-alpha,beta)=1
r1cs_gg_ppzksnark_zok目录就是实现如上的改动。同时提供了stubs.hpp/stubs.cpp，从json文件中读取相应的验证参数进行验证。
2.4poseidon
美国亚利桑那州护理网络试用区块链技术改善临床效果:亚利桑那州护理网络，将试用Solve.Care开发的区块链平台，旨在改善临床结果，减轻行政负担并减少浪费。Solve.Care将区块链技术以及云计算和认知学习功能应用到旨在改善医疗服务交付和管理效益的系统中。 据该公司介绍，该平台满足了核心需求，通过使用去中心化方法来协调各参与方，并在需要时将所有相关信息准确地提供给合适方。[2018/3/21]
poseidon算法的实现在gadgets/poseidon.hpp文件中。
template
usingPoseidon128=Poseidon_gadget_T<6,1,8,57,nInputs,nOutputs,constrainOutputs>;
Poseidon128是Poseidon_gadget_T的一个实例。前面四个参数是poseidon算法的参数，后续会写文章详细介绍poseidon算法以及这些参数的含义。nInputs指定算法的输入的个数，nOutputs指定输出的个数，contrainOutputs指定是否对输出进行约束。
Poseidon_gadget_T的构造函数如下：
Poseidon_gadget_T(
ProtoboardT&pb,
constVariableArrayT&in_inputs,
conststd::string&annotation_prefix
):
GadgetT(pb,annotation_prefix),
inputs(in_inputs),
constants(poseidon_params()),
first_round(pb,constants.C,constants.M,in_inputs,FMT(annotation_prefix,".round")),
prefix_full_rounds(
make_rounds(
1,partial_begin,pb,
first_round.outputs,constants,annotation_prefix)),
partial_rounds(
make_rounds(
partial_begin,partial_end,pb,
prefix_full_rounds.back().outputs,constants,annotation_prefix)),
suffix_full_rounds(
make_rounds(
partial_end,total_rounds-1,pb,
partial_rounds.back().outputs,constants,annotation_prefix)),
last_round(pb,constants.C.back(),constants.M,suffix_full_rounds.back().outputs,FMT(annotation_prefix,".round",total_rounds-1)),
_output_vars(constrainOutputs?make_var_array(pb,nOutputs,".output"):VariableArrayT())
{
}
poseidon算法的计算由好几轮组成：first_round，prefix_full_rounds，partial_rounds(中间，不完整轮)，suffix_full_rounds以及last_round。
_output_vars是输出的变量。这些轮都是通过make_rounds函数实现。
template
staticconststd::vectormake_rounds(
unsignedn_begin,unsignedn_end,
ProtoboardT&pb,
conststd::vector>&inputs,
constPoseidonConstants&constants,
conststd::string&annotation_prefix)
{
std::vectorresult;
result.reserve(n_end-n_begin);
for(unsignedi=n_begin;i<n_end;i++)
{
constauto&state=(i==n_begin)?inputs:result.back().outputs;
result.emplace_back(pb,constants.C,constants.M,state,FMT(annotation_prefix,".round",i));
}
returnresult;
}
make_rounds就是为每一轮准备合适的参数。每一轮的具体实现通过Poseidon_Round实现。
在Poseidon_Round的封装下，Poseidon_gadget_T的generate_r1cs_constraints以及generate_r1cs_witness相对简单，小伙伴们可以自行查看源代码。
03示例代码
在ethsnarks的基础上，实现Poseidon函数的电路就非常简单了。构造一个简单的电路，给大家参考一下。
电路的需求：实现Poseidon计算，输入为两个FieldT，输出为一个FieldT。输出作为电路的publicinput。
#include"ethsnarks.hpp"
#include"gadgets/poseidon.hpp"
usingnamespaceethsnarks;
namespacetestproject{
usingTestHash=Poseidon128<2,1>;
classtest_gadget:publicGadgetT{
public:
VariableToutput;
VariableTinput0;
VariableTinput1;
TestHashtHash;
test_gadget(
ProtoboardT&pb,
conststd::string&prefix
):GadgetT(pb,prefix),
output(make_variable(pb,FMT(prefix,".output"))),
input0(make_variable(pb,FMT(prefix,".input0"))),
input1(make_variable(pb,FMT(prefix,".input1"))),
tHash(pb,create_var_array({input0,input1}),FMT(prefix,".testhash"))
{
}
voidgenerate_r1cs_witness(
ethsnarks::FieldTw_input0,
ethsnarks::FieldTw_input1,
ethsnarks::FieldTw_output)
{
pb.val(input0)=w_input0;
pb.val(input1)=w_input1;
pb.val(output)=w_output;
tHash.generate_r1cs_witness();
}
voidgenerate_r1cs_constraints()
{
pb.set_input_sizes(1);
tHash.generate_r1cs_constraints();
pb.add_r1cs_constraint(ConstraintT(output,1,tHash.result()),
FMT(annotation_prefix,"output==Poseidon(input0||input1)"));
}
};
};
总结：
ethsnarks在libsnark的基础上，实现了以太坊上与zkSNARK相关的智能合约和电路。ethsnarks本身也是libsnark应用很好的学习示例。libsnark的gadget1库主要围绕sha256实现各种gadgets。ethsnarks在alt_bn128这条椭圆曲线上实现了基于Field的hash函数。
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。