零知识证明研究机构 StarkWare 的编程语言 Cairo 探索投票类应用场景

区快洞察消息，由零知识证明研究机构 StarkWare 推出的专用编程语言 Cairo 宣布正在开发一种简单投票机制的应用，可以支持大规模的用户以安全的方式投票并保存在区块链上，去中心化组织（DAO）也将受益于该功能。该应用会收集用户的选票，验证每次投票的签名，累计在一起后更新至默克尔树，同时将生成一个 STARK 证明以确保本轮投票的有效性。最后这些数据会被发送到一个链上的 STARK 验证器智能合约，然后生效，应用的智能合约就可以验证并更新至最新状态。