// 1. Verify comm_r? ? ? ?let comm_r_last_num = num::AllocatedNum::alloc(cs.namespace(|| "comm_r_last"), || {? ? ? ? ? ?comm_r_last? ? ? ? ? ? ? ?.map(Into::into)? ? ? ? ? ? ? ?.ok_or_else(|| SynthesisError::AssignmentMissing)? ? ? ?})?;let comm_c_num = num::AllocatedNum::alloc(cs.namespace(|| "comm_c"), || {? ? ? ? ? ?comm_c? ? ? ? ? ? ? ?.map(Into::into)? ? ? ? ? ? ? ?.ok_or_else(|| SynthesisError::AssignmentMissing)? ? ? ?})?;let comm_r_num = num::AllocatedNum::alloc(cs.namespace(|| "comm_r"), || {? ? ? ? ? ?comm_r? ? ? ? ? ? ? ?.map(Into::into)? ? ? ? ? ? ? ?.ok_or_else(|| SynthesisError::AssignmentMissing)? ? ? ?})?;comm_r_num.inputize(cs.namespace(|| "comm_r_input"))?;

仅先容rust-fil-proofs提供的两个API函数，就不会先容中间的接口。

验证叶节点可以正确计较Merkle树的根。

友情提示：

zk-SNARK电路

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。