3月1日消息,由零知識證明研究機構StarkWare推出的專用編程語言Cairo宣布正在開發一種簡單投票機制的應用,可以支持大規模的用戶以安全的方式投票並保存在區塊鏈上,去中心化組織(DAO)也將受益於該功能。該應用會收集用戶的選票,驗證每次投票的簽名,累計在一起後更新至默克爾樹,同時將生成一個STARK證明以確保本輪投票的有效性。最後這些數據會被發送到一個鏈上的STARK驗證器智能合約,然後生效,應用的智能合約就可以驗證並更新至最新狀態。