Blockchain có thể đóng một vai trò ngoài tiền tệ và các giao dịch tài chính. Một ứng dụng phi tài chính như vậy là blockchain có thể cải thiện đáng kể các lĩnh vực bỏ phiếu và quản trị. Trong bài viết này, chúng tôi khám phá các cách tiếp cận để xây dựng cơ sở hạ tầng blockchain có mục đích đặc biệt được thiết kế để tạo điều kiện thuận lợi cho các hoạt động bỏ phiếu dựa trên MACI. Cơ sở hạ tầng này phải bao gồm một blockchain nhẹ hoạt động như một máy chủ dấu thời gian và lưu trữ logic, cùng với các công cụ cần thiết để giảm chi phí/tối đa hóa trải nghiệm người dùng. Do đó, nó sẽ trở thành nền tảng cơ bản mới cho thế hệ công nghệ bỏ phiếu mới. Trước khi đi sâu vào chi tiết, trước tiên chúng ta hãy xem lịch sử của công nghệ bỏ phiếu và cách bỏ phiếu đã phát triển trong cộng đồng blockchain.
Sự phát triển của công nghệ bỏ phiếu Công nghệ bỏ phiếu từ Kleroterion của Hy Lạp cổ đại [1] đến các máy bỏ phiếu điện tử hiện đại.
Công nghệ bỏ phiếu có lịch sử lâu đời [2]. Nó rất quan trọng đối với xã hội loài người nhưng lại phát triển rất chậm. Vương quốc Anh vẫn dựa vào các lá phiếu viết tay trong cuộc tổng tuyển cử năm 2019[3] và các quốc gia khác đã sử dụng máy bỏ phiếu điện tử nguồn đóng[4], điều này có thể dễ dàng gây ra tranh chấp về kết quả quản trị [5].
Việc áp dụng công nghệ bỏ phiếu hiện đại đã tăng hiệu quả nhưng chưa đạt được nhiều thành công trong việc giải quyết tính minh bạch và khả năng kiểm chứng.
Không còn nghi ngờ gì nữa, tính liêm chính trong bầu cử là rất quan trọng đối với việc chuyển giao quyền lực, ra quyết định về các vấn đề quan trọng hoặc phân bổ nguồn lực. Nếu mọi người không thể đồng ý về kết quả bỏ phiếu về các quyết định quản trị, họ không thể hợp tác với nhau và xung đột sẽ gia tăng. Ma sát có thể gây ra nhiều vấn đề, từ tranh chấp đến chiến tranh.
Mặc dù công nghệ bỏ phiếu đang dần phát triển nhưng tính minh bạch vẫn chưa được cải thiện trong một thời gian dài. Từ Kleroterion đến lá phiếu giấy cho đến máy bỏ phiếu quét điện tử và quang học, việc xác minh vẫn dựa vào các cá nhân và tổ chức kiểm toán đáng tin cậy. Việc xác nhận và kiểm tra kết quả bỏ phiếu có thể cực kỳ tốn kém[6]. Rõ ràng có chỗ để cải thiện.
Vậy công nghệ bỏ phiếu lý tưởng là gì? Trên thực tế, đây không phải là một câu hỏi khó. Chúng ta có thể dễ dàng tạo một "danh sách mong muốn":
(1) Cơ sở hạ tầng nguồn mở;
(2) Lưu trữ các chương trình nguồn mở cho logic biểu quyết;
(3) Lưu giữ hồ sơ vĩnh viễn về tất cả các phiếu bầu theo thứ tự;
(4) Có khả năng xác minh kết quả bằng mật mã;
(5) Chống lại sự thông đồng;
(6) Bảo vệ quyền riêng tư;
(7) Chi phí bỏ phiếu thấp.
Nếu chúng ta có thể xây dựng được một hệ thống nguồn mở có thể được cải tiến liên tục thì chúng ta sẽ dần dần đạt được các mục tiêu trên. Những cải tiến và giảm chi phí trong công nghệ bỏ phiếu có thể cho phép các tổ chức và cộng đồng nhỏ hơn được hưởng lợi từ việc sử dụng công nghệ mà trước đây họ không có, đồng thời bổ sung thêm các tác động tích cực bên ngoài đáng kể.
Bỏ phiếu và quản trị trong cộng đồng blockchain
Việc bỏ phiếu và quản trị không phải là điều mới mẻ đối với cộng đồng blockchain, bởi vì nhiều cộng đồng blockchain được phân tán và họ phải dựa vào quản trị để thúc đẩy sự phát triển của công việc.
Bản thân blockchain có thể ghi lại phiếu bầu một cách minh bạch và xác minh kết quả bỏ phiếu. Các thuộc tính này đã được cộng đồng blockchain sử dụng để quản trị, chẳng hạn như các sự kiện bỏ phiếu bằng mã thông báo Snapshot [7] và các sự kiện bỏ phiếu đề xuất quản trị Cosmos [8]. Do đó, cộng đồng blockchain có thể bỏ phiếu cho các đề xuất và quyết định các vấn đề quản trị quan trọng mà không cần thông qua ủy quyền tập trung hoặc các cuộc họp trực tiếp.
Một đề xuất đang diễn ra[10] của KlaytnSquare[9] kêu gọi người xác thực bỏ phiếu trên chuỗi. Đề xuất xin phê duyệt kế hoạch chi tiêu tài chính hàng quý [11].
Ví dụ trước sử dụng quy tắc 1 token, 1 phiếu bầu đơn giản và dễ hiểu - bạn có bao nhiêu quyền biểu quyết tùy thuộc vào cổ phần của bạn trong mạng hoặc giao thức. Rõ ràng là chúng ta có thể tạo ra logic biểu quyết khác miễn là nó có ý nghĩa. Khả năng lập trình của blockchain giúp việc triển khai logic bỏ phiếu phi truyền thống trở nên dễ dàng và thiết thực hơn.
Một ví dụ là Quadratic Voting [12] (QV), một chương trình bỏ phiếu đang ngày càng trở nên phổ biến trong cộng đồng blockchain. Trong vòng QV, người dùng có thể thể hiện sở thích của mình bằng cách sử dụng Tín dụng Thoại cho một chủ đề cụ thể. Nhưng nếu một cử tri muốn bỏ nhiều hơn một phiếu bầu cho cùng một chủ đề thì chi phí tín dụng bỏ phiếu sẽ tăng lên cho mỗi phiếu bầu. Do đó, tổng chi phí biểu quyết tăng theo phương pháp bậc hai, không khuyến khích những người dùng có quá nhiều quyền biểu quyết.
Tài trợ bậc hai [13] vòng bỏ phiếu trên chuỗi khối Aptos. Kết quả biểu quyết được ghi lại trên chuỗi và logic biểu quyết có thể được kiểm chứng.
Có nhiều thông số cần xem xét khi chọn một phương thức bỏ phiếu cụ thể. Ví dụ: một sự đánh đổi là nên chọn bỏ phiếu trực tuyến hay bỏ phiếu ngoài chuỗi. Logic bỏ phiếu trên chuỗi có thể được xác minh và minh bạch hơn, nhưng phí giao dịch có thể là một gánh nặng đáng kể. Ngược lại, logic bỏ phiếu ngoài chuỗi có thể rẻ hơn, nhưng đồng thời kém minh bạch và khó kiểm chứng hơn. Tuy nhiên, bỏ phiếu trực tuyến và ngoài chuỗi không phải là mối quan hệ một trong hai. Chúng ta có thể dễ dàng thiết kế hệ thống này như một hệ thống kết hợp trong đó một phần của quá trình diễn ra trên chuỗi và phần còn lại được thực hiện ngoài chuỗi.
Ngoài chi phí, còn có những lo ngại về quyền riêng tư. Quyền riêng tư rất quan trọng vì hai lý do. Đầu tiên, trong nhiều trường hợp, người dùng sẽ bớt lo ngại hơn về việc bỏ phiếu nếu họ có thể bỏ phiếu ẩn danh (quyền riêng tư giữa người dùng và người tổ chức). Ngoài ra, quyền riêng tư giữa những người dùng có thể giúp ngăn chặn hối lộ phiếu bầu và đạt được hiệu quả chống thông đồng.
Một cách để chúng tôi có thể giảm thiểu tính toán trên chuỗi trong khi thực thi tính toàn vẹn ngoài chuỗi là sử dụng bằng chứng không có kiến thức [14]. Một ý tưởng đơn giản là nếu tính toán ngoài chuỗi có thể được xác minh bằng bằng chứng không có kiến thức, thì chúng ta có thể chuyển hầu hết tính toán ra khỏi chuỗi. Nếu tin nhắn được mã hóa thêm, chúng tôi có thể nâng cao quyền riêng tư. MACI [15] là khuôn khổ tối thiểu để đạt được mục tiêu này.
Các vòng bỏ phiếu MACI di chuyển việc kiểm phiếu ra ngoài chuỗi. Cuối cùng, tính hợp lệ của kết quả được xác minh thông qua chuỗi bằng chứng không có kiến thức.
Trong vòng bỏ phiếu MACI, các phiếu bầu được gói gọn trong một thông báo được mã hóa bằng khóa công khai do quản trị viên (người điều hành) vòng đó tạo ra và gửi tới hợp đồng thông minh. Do đó, tất cả các tin nhắn đều được blockchain “đóng dấu thời gian”, tạo ra chuỗi tin nhắn chứa thông tin bầu chọn.
Khi vòng biểu quyết kết thúc, quản trị viên tải xuống tất cả các tin nhắn, giải mã chúng và đếm phiếu theo thứ tự ngược lại. Sau đó, kết quả được công bố với bằng chứng không có kiến thức có thể được xác minh trên hợp đồng thông minh (hoặc bởi bất kỳ người nào khác), do đó báo hiệu tính hợp lệ của kết quả được công bố và tính chính xác của quá trình xử lý thông báo.
Toàn bộ quá trình duy trì tính toán trên chuỗi tối thiểu trong khi vẫn đảm bảo tính toàn vẹn của kết quả được công bố. Nó cũng cung cấp sự riêng tư và khả năng chống thông đồng giữa những người dùng.
MACI hoạt động như thế nào trong các sản phẩm thực tế?
MACI hiện được nhiều cộng đồng hackathon khác nhau trên DoraHacks sử dụng để bỏ phiếu cho các dự án hackathon yêu thích của họ. Vì vậy, hãy lấy vòng MACI DoraHacks làm ví dụ.
OpenSea và Replit Hackathon sử dụng MACI để bầu chọn giám khảo vào năm 2022
Sau khi dự án hackathon (BUIDL) được gửi đi, ban tổ chức đã chọn ra 12 đội BUIDL từ tất cả các tác phẩm đã gửi. Mười giám khảo đã được mời bỏ phiếu cho 12 đội BUIDL và phân phát 25.000 USD tiền thưởng. 10 giám khảo đã được đưa vào danh sách trắng và đăng ký tham gia vòng bỏ phiếu, đồng thời họ đã gửi tổng cộng 39 tin nhắn đến hợp đồng thông minh MACI được triển khai trên Polygon.
Sau khi cuộc bỏ phiếu kết thúc, quản trị viên (DoraHacks) sẽ đếm phiếu bầu và công bố kết quả cuối cùng lên bảng xếp hạng, sau đó cung cấp bằng chứng không có kiến thức để xác minh bảng xếp hạng.
Xếp hạng kết quả bình chọn hackathon OpenSea x Replit. Bằng chứng không có kiến thức để xác minh kết quả hiển thị trên bảng xếp hạng.
Là một khuôn khổ chung, MACI có thể được sử dụng cho các trường hợp sử dụng bỏ phiếu ngoài việc bỏ phiếu của thẩm phán hackathon và bỏ phiếu của cộng đồng nguồn mở. Tuy nhiên, việc áp dụng MACI trong nhiều trường hợp sử dụng biểu quyết hơn là rất hiếm. Nói rộng hơn, bản thân việc bỏ phiếu bằng blockchain vẫn chưa được áp dụng trong thế giới thực.
Lợi ích của việc sử dụng blockchain để cải thiện công nghệ bỏ phiếu là rất rõ ràng, nhưng tại sao thế giới thực vẫn chưa tiến lên? Ngay cả trong cộng đồng blockchain, những lợi thế của MACI là rất rõ ràng. Tại sao MACI thường không được cộng đồng phi tập trung chấp nhận?
Nguyên nhân chính khiến việc áp dụng công nghệ bỏ phiếu tiên tiến chậm không phải do nhu cầu thấp mà là do khó sử dụng công nghệ. Nói cách khác, chúng ta cần cải tiến công nghệ để cung cấp UX/UI tốt hơn cho các sản phẩm bỏ phiếu hiện đại và giảm chi phí sử dụng cho người dùng.
Kinh nghiệm người dùng
Ngoài việc quản trị cộng đồng nguồn mở, chúng tôi cũng cần xây dựng thêm giao diện để người dùng sử dụng các công nghệ bỏ phiếu mới. DoraHacks cung cấp vốn cho hệ sinh thái Web3 và cộng đồng hackathon bằng cách cung cấp những sản phẩm tốt nhất hiện có trong ngành. Mặc dù bản thân các giao diện trên DoraHacks.io đều có những trường hợp sử dụng cụ thể nhưng chúng có thể được đơn giản hóa và sau đó được khái quát hóa để xây dựng thêm giao diện cho nhiều trường hợp sử dụng hơn.
Chiến lược front-end cụ thể vẫn chưa được xác định. Tuy nhiên, trải nghiệm người dùng tốt là yếu tố quan trọng đối với việc áp dụng công nghệ, ngay cả trong cộng đồng blockchain – điều quan trọng đối với các nhà phát triển Dora Factory.
phí bầu cử
Một blockchain phổ quát phải được phân cấp càng nhiều càng tốt và cung cấp một cơ sở hạ tầng duy nhất cho tất cả các loại ứng dụng. Các chuỗi khối này không được thiết kế để tối ưu hóa cho bất kỳ loại ứng dụng cụ thể nào, đặc biệt là các ứng dụng phi tiền tệ hoặc phi tài chính. Đồng thời, phí giao dịch có thể dao động khi có một số lượng lớn ứng dụng cạnh tranh để giành cùng một bộ tài nguyên máy tính. Chi phí không thể đoán trước có thể gây rắc rối cho việc bỏ phiếu.
Để đạt được mục tiêu này, Dora Factory gần đây đã thử nghiệm một sản phẩm mới có tên Vota[17]. Ý tưởng của Vota là thử nghiệm các chuỗi khối có mục đích đặc biệt và sử dụng chúng để liên tục tối ưu hóa công nghệ bỏ phiếu và trải nghiệm người dùng. Hiện tại, Vota vẫn còn ở giai đoạn sơ khai. Tuy nhiên, chúng ta có thể tưởng tượng ra nhiều dạng Vota khác nhau.
Hợp đồng thông minh tạm thời
Đây là cách các vòng bỏ phiếu hiện được hỗ trợ trên DoraHacks.io. Mỗi vòng bỏ phiếu được triển khai dưới dạng hợp đồng thông minh riêng biệt trên một blockchain cụ thể. Trong hầu hết các trường hợp, Ethereum thường không thể hỗ trợ trực tiếp hầu hết các kịch bản bỏ phiếu (đó là lý do tại sao Snapshot là sản phẩm mặc định được cộng đồng Ethereum sử dụng). Hiện tại, Polygon và BNBChain là những lựa chọn phổ biến đối với hầu hết các nhà tổ chức tài trợ và tổ chức hackathon trên DoraHacks.
Hợp đồng thông minh tạm thời trên chuỗi khối L1, tất cả tin nhắn biểu quyết sẽ được gửi đến L1.
Sử dụng hợp đồng thông minh tạm thời không hoàn toàn là một điều xấu. Nó linh hoạt và có thể được triển khai ở bất cứ đâu khi cần thiết. Đối với người dùng DoraHacks, kết quả hiện tại là tốt, nhưng nó không đáp ứng được tất cả các nhu cầu bỏ phiếu như nhau.
L2 phiếu bầu
Nếu chúng tôi tạo cơ sở hạ tầng lớp 2 (L2) dành riêng cho việc bỏ phiếu, chúng tôi có thể giảm đáng kể chi phí gas và có khả năng cho phép bỏ phiếu chi phí thấp trên Ethereum. Các hợp đồng L2 không nhất thiết phải được triển khai trên Ethereum, chúng có thể rẻ hơn bằng cách thỉnh thoảng gửi các giao dịch L1 để xác minh tất cả hoạt động L2.
Chúng ta có thể tối ưu hóa hơn nữa mô hình này. Universal L2 phải được cam kết với Ethereum thường xuyên. Vota chỉ cần gửi một giao dịch tới Ethereum mỗi vòng, nghĩa là nó chỉ yêu cầu phí gas của tối đa một giao dịch mỗi vòng. Nếu nhiều vòng kết thúc cùng lúc, họ có thể chia sẻ một giao dịch để giảm thêm chi phí gas, khiến việc bỏ phiếu L2 trở nên thực tế và khả thi hơn.
Tin nhắn được gửi trực tiếp đến hợp đồng L2. Chỉ có một giao dịch được gửi đến chuỗi khối L1 vào cuối mỗi vòng. L3 Vota (áp dụng cho L(n)Vota, trong đó n>=3)
L3 Vota không hoàn toàn vô nghĩa. Với L2 đã được thiết lập, L3 Vota có thể giảm thêm phí gas ở mức độ lớn. Mặc dù các giao dịch L3 cuối cùng được ghi lại và xác minh trên Ethereum, nhưng sự đánh đổi là tin tưởng vào L2 đã chọn.
Tất nhiên, chúng tôi có thể mở rộng điều này hơn nữa sang L(n) Vota, vì L(2)…L(n-1) sẽ gửi giao dịch tới Ethereum (hoặc L1 khác). Nhưng rõ ràng là một chuỗi niềm tin sẽ làm phức tạp mọi thứ. Đánh giá từ tình hình hiện tại, nhiều L2 nổi tiếng vẫn dựa vào một trình sắp xếp chuỗi duy nhất (Trình sắp xếp chuỗi); có thể còn quá sớm để nói về L(4).
Chuỗi ứng dụng Vota
Các nhà phát triển của Dora Factory đã tạo ra một "Hack" đơn giản cho phép các hợp đồng CosmWasm xác minh bằng chứng không có kiến thức do SnarkJS tạo ra bằng cách sử dụng [18] Bellman [19]. Bằng cách kết hợp Bellman vào hợp đồng CosmWasm, bất kỳ chuỗi ứng dụng Cosmos nào cũng có thể nhanh chóng hỗ trợ các ứng dụng zk.
Với khả năng chạy các ứng dụng zk, các chuỗi khối độc lập có thể sử dụng kiến trúc phần mềm như Tendermint để xây dựng chuỗi. Sự đồng thuận của các chuỗi khối này tương tự như BFT hoặc đơn giản hơn và chúng thường có thể hỗ trợ tối đa 100 trình xác thực. Bằng cách lựa chọn cẩn thận các trình xác thực có lợi ích không phù hợp, các chuỗi khối độc lập có thể đủ an toàn và trung lập.
Khi DoraHacks chào đón nhiều chuỗi ứng dụng Cosmos hơn, một trường hợp sử dụng rõ ràng cho Vota dựa trên chuỗi ứng dụng là bỏ phiếu cho kết quả hackathon. Ngoài DoraHacks, Vota dựa trên chuỗi ứng dụng Cosmos còn làm được nhiều việc hơn là bỏ phiếu cho giám khảo hackathon.
Chuỗi ứng dụng Vota có một số lượng nhỏ trình xác thực, nhưng các trình xác thực được lựa chọn cẩn thận có thể cung cấp cơ sở hạ tầng đáng tin cậy.
Điều đáng chú ý là những giải pháp này không phải là độc quyền. Khi Vota phát triển, các giải pháp khác nhau có thể giao nhau. Ví dụ: nếu chúng tôi có phiên bản chuỗi ứng dụng độc lập của Vota làm cơ sở hạ tầng chính, thì đối với các trường hợp sử dụng yêu cầu xác minh giao dịch trên một L1 cụ thể, chuỗi ứng dụng có thể gửi các giao dịch bổ sung tới L1.
ẩn danh tốt hơn
Công việc nghiên cứu hiện đang được tiến hành để làm cho MACI trở nên đáng tin cậy hơn. MACI ban đầu đưa ra một giả định quan trọng về độ tin cậy rằng các quản trị viên sẽ không tham nhũng. Đây không phải là phổ quát. Để cải thiện điều này, có các giải pháp dựa trên MPC [20] và các giải pháp không dựa trên MPC [21]. Hiện tại, DoraHacks đã xây dựng một phiên bản MACI ẩn danh dựa trên mã hóa có thể tái ngẫu nhiên ElGamal, do Kobe Guikan đề xuất ban đầu. [22] Nó đã được thử nghiệm trong vòng tài trợ nghiên cứu ETH nhỏ [23] trên DoraHacks.io.
Tại thời điểm này, có thể còn hơi sớm để thúc đẩy việc áp dụng MACI ẩn danh trước khi chính MACI được áp dụng rộng rãi. Tuy nhiên, điều quan trọng là phải tiếp tục nghiên cứu để giảm bớt những giả định về lòng tin trong cơ chế bỏ phiếu nói chung.
Thêm tính năng ẩn danh cho MACI bằng cách thêm các hành động cho phép người dùng hủy kích hoạt và thay đổi khóa bí mật của họ mà quản trị viên không thể biết ai đã thêm khóa mới nào. Thanh toán GAS
Điều quan trọng là không cho rằng người dùng sở hữu tiền điện tử. Nếu mọi người dùng phải trả phí gas cho mỗi giao dịch thì người dùng blockchain sẽ bị giới hạn ở một nhóm nhỏ người. Để giải quyết vấn đề này, nhà điều hành MACI có thể gửi trước mã thông báo có thể hoàn lại và trả tiền cho người dùng. Cơ chế này có thể được thực hiện thông qua các trạm xăng.
Bản thân trạm xăng là một hợp đồng thông minh nằm trên Vota. Trước mỗi vòng, người chơi có thể lựa chọn sử dụng hoặc không. Bằng cách sử dụng trạm xăng, các nhà khai thác đặt cọc trước DORA vào hợp đồng thông minh và có thể thanh toán phí giao dịch liên quan đến một vòng cụ thể thông qua trạm xăng.
Nhiều khả năng, Vota sẽ triển khai một trạm xăng mặc định và mọi người có thể triển khai các trạm xăng của riêng mình với logic thanh toán khác nhau theo yêu cầu.
Hợp đồng thanh toán Gas là sổ cái ghi số dư Gas cho mỗi vòng biểu quyết. Tóm lại là
Các chuỗi khối có mục đích đặc biệt có thể phù hợp với nhiều trường hợp sử dụng ứng dụng cụ thể, đặc biệt là các trường hợp sử dụng phi tài chính. Bỏ phiếu là một trong những vấn đề quan trọng nhất mà blockchain và mật mã không có kiến thức có thể giúp cải thiện đáng kể. Cải thiện tính minh bạch và hiệu quả của việc bỏ phiếu có thể làm giảm xung đột quản trị trong xã hội loài người và cộng đồng blockchain, cải thiện năng suất về lâu dài. Các giao thức như MACI tạo ra các khuôn khổ rõ ràng cho các ứng dụng bỏ phiếu trên blockchain, nhưng công nghệ bỏ phiếu vẫn cần nhiều nỗ lực để cải thiện. Cụ thể, chúng tôi cần một cơ sở hạ tầng thân thiện với người dùng làm nền tảng để cải thiện công nghệ bỏ phiếu về lâu dài và bài viết này sẽ trình bày chi tiết về công việc trong tương lai.
thẩm quyền giải quyết
Cleterion:https://en.wikipedia.org/wiki/Cleroterion
Lịch sử lâu đời của công nghệ bỏ phiếu: https://electionlab.mit.edu/research/voting-technology
Cuộc tổng tuyển cử "Brexit" năm 2019 của Anh: https://en.wikipedia.org/wiki/2019_United_Kingdom_general_election
Máy bỏ phiếu điện tử: https://en.wikipedia.org/wiki/Dominion_Voting_Systems
Tranh chấp kết quả bầu cử: https://www.reuters.com/legal/dominions-defamation-case-against-fox-poised-trial-after-delay-2023-04-18
Việc xác nhận và kiểm tra kết quả lá phiếu có thể cực kỳ tốn kém: https://azsos.gov/elections/voters/voting-elections/ballot-processing/2022-general-elections-recount-information
Biểu quyết mã thông báo ảnh chụp nhanh: https://snapshot.org/
Bỏ phiếu đề xuất quản trị vũ trụ: https://www.mintscan.io/cosmos/proposals
KlaytnSquare: https://square.klaytn.foundation/GC
Đề xuất từ KlaytnSquare: https://square.klaytn.foundation/Proposal/Detail?id=4
Kế hoạch chi tiêu tài chính: https://govforum.klaytn.foundation/c/proposal/5
Bỏ phiếu bậc hai: https://en.wikipedia.org/wiki/Quadratic_voting
Tài chính bậc hai: https://research.dorahacks.io/2022/07/11/quadratic-governance
Bằng chứng không có kiến thức: https://en.wikipedia.org/wiki/Zero-know_proof
MACI: https://ethresear.ch/t/minimal-anti-collusion-infrastructure/5413
DoraHacks: https://dorahacks.io/grant/ethdenver22/buidl
Bình chọn: https://vota.dorafactory.org/
Một "hack" đơn giản cho phép sử dụng hợp đồng CosmWasm: https://github.com/DoraFactory/snarkjs-bellman-adapter/tree/main/prove
Bellman: https://github.com/zkcrypto/bellman
Giải pháp dựa trên MPC: https://research.dorahacks.io/2023/03/30/mpc-maci-anonymization
Giải pháp không dựa trên MPC: https://ethresear.ch/t/maci-anonymization-USE-rerandomizable-encryption/7054
Phiên bản MACI ẩn danh, do KobeGuikan đề xuất: https://github.com/dorahacksglobal/anonymous-maci
Vòng tài trợ nghiên cứu ETH: https://dorahacks.io/grant/ethre3/maci