Researching Zero-Knowledge Proof in Blockchain Ecosystems for Enhanced Voting Transparency in Catalyst Voting Process—A Potential Application

Edet Ekpenyong; Ubio Obu; Godspower Emmanuel Achi; Clement Umoh; Duke Peter; Udoma Obu

doi:10.20944/preprints202412.1789.v1

Submitted:

19 December 2024

Posted:

23 December 2024

Read the latest preprint version here

Abstract

In blockchain ecosystems, maintaining transparency and privacy has become an ethical dilemma. This is because, while certain specific information of the user is shared to ensure transparency of transactions across networks, such information could be detrimental to the user, as there is a possibility of it being tampered with. For instance, in the Catalyst voting process in Cardano, users can still see the amount of ADA tokens being held by other users, which can influence their voting options, especially when large ADA holders vote in support of certain ideas or proposals. To discourage such challenges as voter manipulation and vote buying, this study proposed the implementation of zero-knowledge proof in blockchain ecosystems to enhance the transparency of the catalyst voting process and enhance efficiency and speed of result release. Using survey questionnaire and a multivocal literature review, this study was able to proof that ZKP cannot only be applied in the catalyst voting process to enhance its transparency, but also addressed potential challenges to its applications such as scalability, encourage trust and fairness of the voting system, and improve voter participation due to its user-friendliness.

Keywords:

zero knowledge proof

;

blockchain technology

;

cardano

;

catalyst

;

voting

;

transparency

;

privacy

;

ADA

;

decentralization

;

equity

;

security

Subject:

Computer Science and Mathematics - Computer Networks and Communications

Introduction

With the increasing rate of information sharing using wireless networks and electronic communication means, the need for privacy also increases. The internet has blurred the boundaries between reality and imagination, causing data, which is originally immaterial, to be more substantial and relevant, and completely indispensable in today’s world. As a result of that, the existential blueprint of a person is tied to their digital footprints. Thereby increasing the urgency of protecting data [23]. Based on this demand, disruptive technology solutions like blockchain have come up to enable traceability, immutability, protection and sharing of data, in a way that unites public trust and builds legitimacy. However, blockchain, although traceable and immutable, does not entirely account for privacy and transparency as specific sensitive data embedded in codes, can be divulged [23]. To strengthen the transparency of blockchain while protecting sensitive data of users, zero knowledge proof (ZKP) was invented.

ZKP is a cryptographic tool that enables a sharer or sender to prove the originality or authenticity of an information or piece of data, without exposing sensitive information [23]. The exposure of certain sensitive information via blockchain networks such as sender and receiver address and transaction amount, can be used for malicious intent by hackers, which can be detrimental to organisations in ways that include reputational damage, legal liabilities and operational disruptions. A more significant risk is the case of identity theft which becomes pronounced through unauthorised access to financial data, falsified records to leverage tax incentives, or committing other crimes using the stolen identity [23]. By embedding the ZKP into a significantly secure platform like the blockchain technology or BCT, the privacy concerns that are elusive to the BCT will be addressed.

Background of the Study

ZKPs are the building blocks of privacy in today’s world, as they can prove digital signature schemes, electronic voting, verifiable computing and user identification protocols [11]. It works by enabling a prover to convince a verifier without tampering with sensitive information. To achieve this, it ensures three key elements are satisfied, and they include:

– completeness: ascertaining the availability of a witness to the trueness of a statement

– soundness: where a falsifier fails to prove the content of a statement or computation

– zero- knowledge: the verifier only confirms the truism of a statement and nothing else.

In practice, the proof of knowledge is necessary, which underscores the strength of the soundness element by requiring the prover to effectively obtain a witness for the statement after convincing the verifier. The satisfaction of these three elements is either done perfectly, probabilistically or through computational restrictions [11].

Tyagi and Kathuria [18], identified the actions that are key in the mechanism of ZKP which include witness, challenge and response, working collaboratively to prove a statement without divulging restricted data. Here, the witness act involves a prover (A) setting random questions that can be answered correctly, then chooses one out of the questions, calculates a proof and sends it to the verifier (B). The challenge act is the phase where the verifier chooses a question from the set of questions and sends to the prover to answer, which results in the response stage where A calculates the answer and sends to B as a confirmation that A knows the secret. This process can be repeated by B several times to ensure that A is certain of their answer.

In blockchain, smart contracts are used to enhance flexible transactions through the transfer of trust from trusted parties to the cryptocurrency. This encourages fair exchange of goods, services and data. A specific case of this is via the use of zero-knowledge contingent service payments (ZKCSP) where users can lock their funds using puzzles, which can only be released once a solution is provided. For the consensus algorithm to be effective, transaction data must be publicised and verifiable, while sensitive data is still protected.

There are two main types of ZKP which are the interactive ZKP and non-interactive ZKP.

The interactive ZKP involves an iterative process to prove a statement between the prover and the verifier. It leverages a challenge-response process and can involve multiple rounds of interaction until a statement is confirmed to be true by the verifier without knowing sensitive information.

In the non-interactive process, the verifier confirms a statement is true even without requiring a direct communication with the prover. It is mostly applicable in situations where direct communication is not feasible, and therefore does not involve a series of interactions.

Tyagi and Kathuria [18] identified challenges of ZKP application, and they are:

– scalability: the computing power of algorithms must be constantly increased to function at a high level after it has been dispensed.

– restriction: all data is lost when the prover or creator of a transaction loses their personal information

– demand more computing power: there are 2000 possible calculations per ZKP transaction, and they require individual and specified number of processing time

– unavailability of standards, unified language, and systems to enable developers to leverage the full potential of ZKP.

Statement of Problem

Studies have shown that ZKP-based blockchain ecosystems perform better in strengthening the privacy concerns of blockchain, while achieving privacy in the process [5,10,21]. Based on this evidence, especially relative to the Aleo and Mina ecosystems whose operations are like the catalyst voting process in the Cardano community, ZKP can also be employed to enhance transparency and integrity of voting in the ecosystem. However, this is easier in theory, and is laced with several complexities in practice [13]. The implementation of the ZKP in the voting system can give rise to excess complexities in the vote tallying process. This is because ZKPs require the verification of cryptographic proofs to be generated, and this is an immense computational and time-consuming process, especially when the election concerns a high number of voters [13]. The specific ZKP scheme and the complex voting protocol’s logic will have a direct impact on how the vote tallying process performs as well as its scalability, hence have significant effects on the speed, efficiency and user experience [8]. The goal of this study is to enable developers to access the nuanced details of ZKP application and to seek clarity in a way that is assuring for the projects they intend to execute or build using ZKP.

Justification of Study

A resource intensive or highly slow vote tallying process can give rise to delays in the announcement of election results which can hamper on the public trust and confidence in the process [8]. This will further discourage the electoral process if it is not timely. In addition, how complex the ZKP tallying process is can dissatisfy the user experience of voters. When the voting process is even slightly perceived to be difficult or slow, it can prevent voters from participating, thereby reducing the overall turnout [3]. It is therefore imperative that a delicate balance is maintained between the security and privacy assurance provided by ZKPs and the user-friendliness of the interface enhances voter experience. This study therefore investigates the potential application of ZKP in the catalyst voting process and examines the community feedback on the potential outcomes of ZKP to enhance transparency of voting. The findings from this study will serve as a blueprint in designing an efficient and effective ZKP-based voting for the Catalyst voting process.

Aim of the Study

This study is aimed at assessing the potential application of zero knowledge proof in blockchain ecosystems to enhance transparency in the catalyst voting process.

Objectives of the Study

To explore how zero-knowledge proofs can enhance voting transparency in the Catalyst voting process
To investigate how ZKPs can protect voter privacy and prevent vote disclosure and manipulation
To develop a scalable solution that can be integrated into the Catalyst voting process
To identify ZKP-based protocols that are most suitable for the catalyst voting process
To assess how to design a decentralised and secure voting system that utilises ZKPs for enhanced transparency and voter privacy

Research Hypotheses

The integration of zero-knowledge proof (ZKP) protocols in the Catalyst voting process will significantly enhance voting transparency as measured by the accuracy and verifiability of voting results.
The use of ZKP protocols in the Catalyst voting process will discourage voters turnout due to technical glitches incurred because of delays during peak voting times.

Literature Review

Theoretical Review

The integration of blockchain technology and zero-knowledge proofs (ZKPs) has the potential to revolutionize the voting process, ensuring transparency, security, and voter privacy [10], [23]. This theoretical review provides an overview of the existing literature on blockchain-based voting systems, ZKPs, and their applications in enhancing transparency and voter privacy.

Blockchain-Based Voting Systems and Zero Knowledge Proof

ZKPs are a cryptographic technique that leverages the possibilities in verifiable computing, where a receiver can be assured of the veracity of a statement or computation by proving its correctness without knowing the sensitive details that the sender chooses to anonymize. Partala 11] focused on peer reviewed articles that are notable, recent or state-of-the-art, and quite feasible in applications or practice. They conducted a comprehensive survey of the applications of ZKP in confidential transactions and private smart contracts on blockchain. Their study was exploratory and conclusively analysed the varying ZKP applications, to identify several applicable schemes that can be used in specific situations.

Principato [13] explained that the trilemma of blockchain which are decentralisation, security and scalability, are also the key challenges or limitations to its privacy and confidentiality hence the need for an added privacy measure via the zero-knowledge proof network. A profound discovery of their study is that ZKP does not solely confer privacy to the blockchain system alone but ensures that the integrity of the blockchain ledger is maintained as privacy is achieved through privacy-preserving primitives. By doing so, ZKP provides a tool to solve the scalability and decentralisation limitations of the blockchain while used alongside techniques that enhance privacy. Simply put, ZKP ensures privacy by acting as an added tool which strengthens the function of other networks. Furthermore, it lessens the computational overhead across all nodes of the blockchain system [13].

Empirical Evidence

ZKPs have been applied in various areas in numerous ecosystems. Some of which include education. Xu [20] explored the use of ZKP to promote inclusion in education, especially the inclusion of people living with disabilities. It introduces the use of a novel management system for people with living with disabilities through the Zero knowledge succinct non-interactive Argument of Knowledge (zk-SNARK). The goal of this is to enable students with disabilities to verify their status, why keeping their personal information private.

Han [4] identified the various cases where vehicles including Tesla and Toyota Prius were hacked, and the casualties that ensued from such events. To prevent this from happening any further, Han [4] designed an efficient and safe identity authentication system using the ZKP’s Fiege-Fiat-Shamir model. Using the zero-one reversal and two-to-one verification model, they enabled the IOV systems to efficiently and effectively resist guessing attacks. Guessing attacks involves an attacker trying a different set of values or numbers until the right one is matched. This model does not act alone but is incorporated into a wider security framework to enhance resistance of attacks. This FFS protocol makes it difficult to guess attacks due to its insistence on factoring large numbers into the security system of IOVs.

According to Methmal [9], ZKP promotes a patient-centred approach to data sharing. Its applications are useful in public health emergencies for the provision of immunisation proofs while safekeeping sensitive information of patients, especially in the absence of consent. That way, it balances the protection of personal information of patients while keying into the appropriate public health measures. Furthermore, through contact tracing activities, individuals can be notified on breach attempts to their data and potential exposures without disclosing their personal data or location.

Sedlemeir [16] expounded on the need for labelling electricity to differentiate between renewable energy generation and to incentivize the expansion of green energy. This is a timely approach to commend sustainability and promote climate justice. The challenge of green energy use is premised on where they will come from, how “green” their source is, as the world moves towards net zero carbon emission. The use of ZKP in the labelling of electricity through the verification of the guarantees of Origin protects the proprietary or competitive information of renewable energy producers, while minimising the risk of fraudulent claims or double counting. Through this means, regulatory bodies can ensure compliance of market participants to safe energy production and consumption standards. In addition, consumers can have confidence and trust in the certificates issued through this process and further support the promotion of renewable energy use [16].

In a study by Prasad [12], they explored the mechanism of privacy protection in the supply chain network using a blockchain-powered zero knowledge proof technology. ZKP allows the authenticity of goods, certification and transaction records in the supply chain without exposing the sensitive information therein. Participants can prove the origin and transactional history of their movement to relevant authorities while withholding proprietary details. In addition to this, irregularities can be tracked, guessed and identified using ZKP. However, information sharing is compulsory for end-to-end supply chain. Twenhoven [17] conducted interviews to assess use cases, then through evaluation and categorization of these cases in different dimensions, was able to propose the use of ZKP for building trust in the supply chain network. This is because ZKP allows information to be pre-processed, and sensitive data withheld prior to sharing with partners.

Panja and Roy [10] explored the impact of zero knowledge proof in secret ballot elections. Their study was done to replace the secure bulletin board (BB) which is needed for a direct recording electronic with enhanced privacy (DRE-ip) for the voting process with a zero-knowledge proof network. The initial reason for the adoption of the BB was to secure data prior to the audit phase of the voting for the DRE-ip to leverage for the verifiability of data without the input of tallying authorities. However, the secure BB can be compromised which makes the voting system vulnerable to manipulations. They proposed a modified insecure DRE-ip process that leverages blockchain technology and ZKP to detect any modifications to the original data during the tallying phase. This combination of ZKP based blockchain technology in the DRE-ip voting system has eliminated the need for a secure BB and secures the integrity of data so long as one node in the blockchain system is correct. This system employs Cramer-Shoup encryption to prevent voter coercion by keeping the privacy of the voter secret.

Sanjaya [15] worked on the use of ZK-SNARK, a form of zero knowledge proof, to authenticate transactions in an ethereum based e-voting process without revealing sensitive information. Sanjaya [15] explained that in this case, the prover and verifier of this ZKP process for the verifiability and privacy of the e-voting system are the voter and election authority respectively. Using the ZK-SNARK, the voter remains unknown; and the tallying process is done via the self-executing smart contract.

Aleo is a blockchain ecosystem that incorporates zero knowledge proof in every aspect of their ecosystem to create a web experience that is secure and private [1]. It is the first decentralised open-source platform that enables both private and programmable applications to take place through a combinatorial effect of the programmability of Ethereum and the privacy of Zcash. It does this by offering developers the Aleo SDK and Leo programming language to build applications that prioritise privacy [1]. Pruden [14] explains that the process whereby Aleo creates equal maintenance of both privacy and programmability using zero knowledge proof is called the Zero-Knowledge EXEcution or ZEXE. This allows users to carry out transactions offline by creating a proof that is incorporated into an on-chain transaction. It also works like Ethereum, supporting smart contracts in the enabling of users to interact or exchange value in an already defined manner [14]. In addition to privacy, Aleo empowers applications to be programmable and composable. Aleo solves the decentralisation challenge that obscures the ZKP exploration in blockchain, enabling decentralisation, security and scalability to occur simultaneously without tradeoffs [14].

Mina on the other hand is the lightest blockchain ecosystem that is powered by participants and uses advanced cryptography and recursive ZK-SNARK in building an entire blockchain of about 22 kilobytes which is equivalent to a couple of tweets [22]. It makes the implementation and programmability of zero knowledge smart contracts or applications easier and can connect to any website. What Mina does is to ensure that independent users of web3 can prove the correctness of a statement without revealing their personal information, and this process of incorporating ZKP can be done using phones and browsers [22]. Also, based on the concerns expressed by Principato [13] on the case of Proof of Authority being vulnerable to attacks when the transparency of blockchain technology enabling different networks to trace transactions, Mina in this case, protects the information of the users in the decentralised network via its ability to maintain both scalability and privacy which is lacking in the blockchain network. This enhances the scope and utility of Mina. Therefore, while Aleo encourages programmability and privacy in their ecosystem, Mina is more flexible, working with any ecosystem to seamlessly incorporate real world information into the crypto world without compromising on privacy.

Methodology

The methodology employed in this study is of two folds:

A multivocal literature review: this was first used to review available literature on the challenges of the transparency and privacy dilemma of blockchain technology, and to comprehensively analyse the operational frameworks and applications of various zero-knowledge proof protocols to determine their potential application in the catalyst voting process. This method is relevant because aside being exploratory and expository, it enabled the researchers to understand nuances and conversations around embedding ZKP in blockchain ecosystems for voting, which also aligns the objectives of this study to the roadmap, hence enhancing the precision and accuracy of the research findings.
The study also utilised a survey questionnaire to investigate the opinions of the potential users of the application of ZKP-based blockchain ecosystem in the Catalyst voting system. The participants of the survey were members of the Cardano community, who are very familiar with the Catalyst voting process, understands the challenges of the traditional voting system, and seeking an innovation that can enhance the transparency of voting, maintain privacy of specific information in the process and improve the efficiency of the voting system.

Having established the above methodologies in the study to assess the challenges of the present voting system, the following solutions were proposed:

▪: An architectural mock-up of the ZKP-based voting integrity system. This system conceptualised the voting protocol using ZKP which ensures that a user’s voting eligibility is validated without disclosing sensitive information, such as the number of ADA tokens held. It maintains voter privacy and prevents undue influence from larger ADA holders. The design aims to enhance transparency within the voting process while protecting individual privacy and preventing vote manipulation. To achieve this, an interview was carried out with the community members and four suggestions for protocol changes were made. These suggestions are categorised into two:
▪: - voting methodology change including one-on-one voting system and scaled system voting
▪: - process change including the replacement of the snapshot process, and the real-time tallying, validation and release of results.

The following components underscore the voting methodology changes:

➢: A one-on-one voting system where each user votes individually with their validated voting power. Here, the Voter Identification Module uses ZKP to confirm eligibility before allowing the vote. This is achieved by ensuring that each voter’s wallet contains the specific amount of ADA tokens required to vote in a particular session. For instance, say the eligibility criteria to vote a proposal is the voting threshold of 500 tokens, the Voters Identification Module confirms that eligible voters hold up to that number of tokens, without revealing the total amount of tokens they have in their wallet. That way, each vote is counted fairly without external influence. This voting system also facilitates better decision-making in a decentralised platform, fostering a more nuanced understanding of voter preferences while ensuring that the best proposals are selected for funding and development.
➢: A scaled voting system whereby users are assigned a range of votes based on their holdings, validated through ZKP. The system assesses the user’s range and allocates votes accordingly while maintaining confidentiality. It balances power among users, by allowing people with more range to maintain their voting power, at the same time preventing them from influencing the voting outcome.

The process change connotes the process of vote tallying, verification and counting, enhancing the speed of result release. It achieves this through the following components:

➢: Replacement of the snapshot process allowing users to vote anytime during the open voting window, with ZKP validating their voting power dynamically. Each vote is verified through ZKP at the time of casting, preventing pre-knowledge of voting power and vote buying. Simply put, this process allows the system to take a snapshot of the voter’s wallet each time before the voting is done to capture the exact amount of ADA tokens present in their wallet at that point, then categorise them accordingly to their voting power. This increases voting flexibility and security, enabling real-time validation and minimising exploitation risks. Voters can no longer cheat by borrowing tokens prior to their voting period to establish a faux voting power but are allowed to vote according to the power available to them due to their token balance at that time.
➢: Real-time validation and tallying, whereby, in the event of the conclusion of the snapshot process and voting, votes are tallied as they are cast, using ZKP to ensure accurate and secure verification. This system synchronises with either the one-on-one voting or scaled voting systems to tally the votes, followed by results being updated almost immediately. This provides transparency and instant feedback to voters, fostering trust in the electoral process.

The user interface mock-up below is a graphical illustration of the summarised proposition above. (Insert it here)

The research also identified complexities or challenges that may arise while implementing ZKP protocols in the catalyst voting process. Some of them include:

○: Cryptographic complexity which can be encountered due to the difficulty in applying or implementing the ZKP-based voting integrity assurance which relies heavily on advanced cryptographic models and techniques requiring correctness and security to meet the goal of privacy and ensure that the entire voting system is safe from attacks.
○: The platform may be difficult to scale because it is tasked to operate when millions of voters are involved as the system generates and verifies zero-knowledge proofs per user via computation.
○: Ballot anonymity involves the balance of the computational dilemma of maintaining both confidentiality of voters and at the same time verifying their identity.
○: Ensuring that usability and accessibility of the platform is simplified, because building a system that is easy for users to operate and does not discriminate against eligible voters to bridge voters inequality gap, is practically difficult.
○: Others include ensuring trust and transparency; being able to cooperate with other voting infrastructures including voter registration databases and vote counting processes; allowing independent verification and auditing of both the integrity of the electoral process and election results respectively; resilient to attacks such as denial-of-service attacks, network interruptions, and guesses to manipulate data; ensuring legal and regulatory compliance to international standards of authority across jurisdictions; and convincing the voters and relevant stakeholders to adopt this system even with the possibility of a resistance to change.

The auxiliary tools developed in the Cardano community that can be leveraged by the main technology stack to implement this project are Plutus and Marlowe. While Plutus is a domain-specific language (DSL) language that enables developers to write smart contracts on the Cardano blockchain ecosystem, at the same time allowing the development of complex smart contracts, including the ones required by zero knowledge proof voting protocols which allows for voter privacy, by serving as a robust and expressive language platform [6]; Marlowe on the other hand is specifically designed to write financial smart contracts on the Cardano blockchain which does not prevent it from functioning in other domains such as the voting protocols [6]. It can also be used in the modelling of different stages of the voting process such as the voter registration, ballot casting, vote tallying, and to strengthen all the necessary checks for integrity in every step. In addition, the contract language of Marlowe can be used to encode the rules and logic of the voting protocol, guaranteeing the transparency of the process and its resistance to malicious hackers or unauthorised access [7]. Furthermore, Plutus also provides the necessary tools for profiling and optimising the execution of smart contracts which are relevant in handling the high transaction volumes and low latency requirements of large-scale elections [6]. The combination of both tools in the main tech stack can give additional resilience to the entire security network and trustworthiness of the voting system, requiring a multidisciplinary collaboration of cryptographers, election systems and blockchain technology to ensure its technical feasibility and application in real time [20].

Side chain interactions are also necessary considerations when building voting systems in the Cardano blockchain that are scalable and secure. They are separate blockchain networks that are connected to the main Cardano blockchain which allows specific functionality or transactions to be offloaded [20]. Implementing a ZKP-based voting protocol on this network improves the overall scalability and performance of the system. Side chain interactions can be built in a way that make them function like the Plutus and Marlowe. Their implications for ZKP-based voting integrity assurance include integrity assurance and side chain integration, decentralised governance and sidechain management, and auditing and transparency.

The feasibility assessment of these proposed protocols is summarised in the technical reports below. (include it here)

Results and Findings

Analysis of Responses on Instant Snapshots and ZKP Validation

User Feedback on Instant Snapshots:

Positive Responses:

Most respondents express confidence that instant snapshots will enhance trust in the voting process by ensuring accurate and real-time representation of holdings at the time of voting. Instant validation is seen as a positive step towards improving transparency and reducing the risk of discrepancies.

Some users also appreciate the potential for more efficient and secure voting, as they feel that the system will be more robust with instant validation and transparency.

Challenges and Concerns:

Technical Failures: A recurring concern is that system overloads during peak voting times could cause delays, preventing the instant snapshot process from being effective. Users emphasize the need for a system that can handle high traffic, as any technical issue could undermine confidence in the voting system.

Usability Issues: Some users worry that less tech-savvy participants may struggle with the complexity of instant snapshots, which could lead to confusion and reduced participation. This concern highlights the importance of making the system user-friendly for a broad audience.

Likelihood of Participation:

More Likely to Participate: Most respondents feel that instant snapshots would make them more likely to participate in future voting rounds due to the immediate accuracy they offer, reducing uncertainty around whether votes align with current holdings.

However, concerns about accessibility and technical complications may impact the broader adoption of the system, especially among those less familiar with blockchain-based technologies.

Analysis of Rank Voting and Tier Systems

Proportional Voting Based on ADA Holdings:

Positive Viewpoints:

The rank voting system where voting power is proportional to the amount of ADA held is viewed positively by many participants. They see it as a fair way to ensure that larger stakes in the network carry more influence, reflecting the principle that those with more at stake should have more say.

A tier-based voting system (e.g., 500-1000 ADA = 1 vote, 1001-10000 ADA = 2 votes) is also seen as a fair method to maintain balance in the governance structure.

Concerns:

Marginalization of Smaller Holders: Some respondents express concerns that this system could result in disproportionate influence from large ADA holders, which could skew governance in favour of the wealthiest participants. This view suggests a potential imbalance that could undermine decentralization.

Suggestions for Balance:

To avoid the over-concentration of power, scale-based systems or categorization (e.g., voting tiers) can be implemented to ensure equality of influence. For example, a proposal to allow everyone to prove eligibility while balancing the influence based on ADA tiers has been suggested.

Implementing ZKP would allow users to prove their category membership without revealing their actual ADA balance, maintaining privacy while ensuring voting equity.

ZKP-Based Snapshots and Personalized Voting:

Snapshot Redesign: Respondents suggest that instant snapshots could replace the traditional snapshot system. This would enable continuous transactions without waiting for a snapshot, increasing flexibility and reducing delays in the voting process. The personalized snapshot system allows real-time validation of voting power at any point during the voting window.

Impact on Voting Process:

With the use of ZKP for validation, voting results could be announced more quickly after the voting period ends. ZKPs enable instant tallying and verification, minimizing the manual work required and ensuring faster, more efficient results.

Visualizations for Key Insights:

○: A Breakdown of Voter Preferences: Shows how different users view the effectiveness of instant snapshots and rank voting systems based on their ADA holdings.
○: Scalability and System Load Impact: Visualize the potential system performance under various levels of voter participation to highlight concerns over congestion and technical challenges.
○: Proportional Voting System: Graphically represent the tier-based and scale-based systems to compare their potential effects on decentralization and fairness.

1. User Perception of Instant Snapshots:

Most users view instant snapshots positively, with 70% feeling it would enhance the transparency and trust in the voting process. However, there are concerns about the technical feasibility, which is reflected in the 10% who responded negatively.

2. Preference for Rank Voting Based on ADA Holdings:

The rank voting system is generally well-received, with 40% of users strongly supporting it, and 30% showing moderate support. There is a small portion of users who are neutral or against it, highlighting concerns about the system’s fairness and potential concentration of power.

3. Voter Concerns in the ZKP Voting Process:

Technical issues and system overload are the main concerns among voters, with 60% citing these issues. Fairness and other concerns are less prevalent but still notable.

These findings involve deeper aspects of the ZKP-based voting system, scalability concerns, user behaviour, and system optimization.

1. Scalability Concerns & Load Impact:

As the number of voters increases, the network load also increases, which emphasizes the scalability challenges when handling many voters. This illustrates the importance of optimizing the ZKP-based voting system for large-scale participation, potentially with the use of side chains to handle peak loads.

2. Anonymity vs Verification:

The pie chart illustrates the balance between voter privacy (anonymity) and vote verification. In this scenario, 60% of respondents prioritize verification over anonymity, suggesting that most voters value ensuring their eligibility is verified over maintaining complete privacy. This balance is crucial for ZKP-based voting to function effectively.

3. Voting Process Flow Optimization:

Instant snapshots significantly reduce the voting process time compared to traditional snapshot methods. The chart highlights how ZKP validation can streamline the voting process, ensuring faster results and reducing waiting periods.

4. Balance Between Decentralization & Voting Influence:

The comparison between traditional voting (where each ADA token gives one vote) and a tiered system (where voting power scales based on ADA holdings) shows the shift towards a tiered system to balance decentralization while still recognizing larger stakes in the voting process.

Additional Findings:

1. ZKP’s Impact on Transparency and Trust:

Most users see a positive impact of ZKP on transparency and trust in the voting process, highlighting its potential to enhance voter confidence.

2. Voter Confidence and Participation:

75% of respondents express high confidence in the voting system with ZKPs, leading to a higher likelihood of voter participation.

3. Optimization and Efficiency of ZKP Verification:

90% of respondents agree that the ZKP verification process is highly efficient, which supports the claim that ZKPs can significantly optimize the voting process.

4. Security Enhancements and Attack Resistance:

The resilience to DoS and data manipulation attacks is a critical strength of the ZKP-based voting system, with a 40% focus on DoS resistance and 35% focusing on data manipulation prevention.

These insights demonstrate that ZKPs offer substantial benefits in terms of transparency, efficiency, and security, making them a valuable tool in decentralized voting systems.

These findings touch on aspects like legal compliance, adoption strategies, public trust, and system optimization, which are critical for the successful implementation of a ZKP-based voting system in Cardano Catalyst or any other decentralized governance structure.

1. Legal and Regulatory Compliance:

The pie chart illustrates the various legal and regulatory aspects of implementing a ZKP-based voting system, such as voter identification, ballot secrecy, and data protection laws. These areas are critical for ensuring that the voting system complies with electoral standards and privacy regulations.

2. Public Trust and Adoption:

The bar chart highlights the factors that contribute to public trust in the ZKP voting system. Transparency, open-source development, and public education are identified as key drivers for adoption and acceptance by voters.

3. Efficiency and Cost Optimization:

This bar chart compares the costs associated with traditional voting systems, ZKP voting, and optimized ZKP systems. Optimizing ZKPs significantly reduces the resource cost, demonstrating how efficiency improvements can make decentralized voting more cost-effective.

4. Voter Engagement and Impact of Incentives:

The bar chart shows how incentives for participation can increase voter turnout. Incentives boost engagement, suggesting that rewarding participation can help ensure higher voter turnout in decentralized governance systems.

Word Cloud

Here is the word cloud that supports the findings on ZKP-based voting integrity assurance. The word cloud highlights key themes such as transparency, trust, voting power, fairness, technical concerns, and system load, which align with the qualitative feedback and analysis from the Cardano voting research. The prominent terms reflect the major points of discussion around the challenges and benefits of implementing ZKP-based voting systems in the Cardano ecosystem.

Discussion

This study has provided evidence that zero-knowledge proof can enhance voting transparency in the catalyst voting process, proving that the first hypothesis of this research is true. The findings from this study have also shown that a successful implementation of ZKP-based protocol in the catalyst voting process increases voter turnout and participation, which directly discredits the second hypothesis and proves it untrue. The premise of the second hypothesis comes from the idea that the tallying complexity of the voting process will be delayed during peak voting hours due to the overcrowding of the platform. These are valid concerns which agrees with the findings of Principato [13] on the complexities of ZKP implementation. Participants in the survey also raised similar concerns, highlighting that system overload and delays may impact the scalability of this application. However, the study addressed this concern by leveraging side chain interactions of Cardano tools such as Pluto and Marlowe in the main tech stack to confer additional strength to the voting methodology and process change highlighted in this study.

The reason for enhancing the voting transparency in the catalyst voting process is to improve decentralisation of power, where there is fairness amongst both large holders and small holders of ADA token in voting for a proposed project, and to also ensure that voting is unbiased, as people with higher voting power do not influence voting outcomes. Previously, in the traditional voting system, voters can borrow votes from people with larger holdings to upgrade their voting power, then return it during the voting. The instant snapshot process change fixes this issue by ensuring that only available ADA tokens present in the wallet are used to scale the voting power, preventing vote manipulations and encouraging fairness.

In the end, the feedback from the survey respondents have shown that most of them would accept the ZKP-based voting platform because it enhances voting efficiency, ensuring that results are quickly tallied, analysed and announced, and voters’ participation is improved. This is in addition to enhancing the transparency of voting, while protecting privacy of voters to prevent marginalisation of small ADA holders, something that blockchain cannot completely achieve.

Summary, Recommendations and Conclusion

The findings from this study will be summarised in respect to the research objectives that have been met, as follows:

Implications of enhancing voting transparency in the Catalyst voting process

The transparency of the catalyst voting process is enhanced by ensuring that the privacy of voters is protected. This entails ensuring that the system assesses the eligibility of the voters, scales them according to their voting power, and releases the results within a shorter time frame as compared with the traditional voting system that takes longer. This is achieved through effecting changes in the voting methodology and the process change. For the voting methodology change, the system ensures that individual voting is achieved through the one-on-one voting, and that the range of the voter is assessed and scaled according to their voting power, allowing everyone to equally express their voting rights, and the same time preventing undue influence from larger ADA holders since the actual number of tokens they hold is unknown.

Secondly, by replacing the traditional snapshot process with an instant snapshot which takes the snapshot of the available tokens of each voter only when the voting window is open, voting flexibility and security are improved. This is followed by real-time validation and tallying of the votes to ensure the votes are accurate and security is verified. The latter also enables feedback on the vote to be administered almost instantly. Both the voting methodology change, and process change enhances voting transparency by protecting privacy of voters and prevents vote manipulation which meets the first and second objectives of this research.

Operational and feasibility frameworks of the ZKP-based voting platform

By leveraging the tiered voting system, the ZKP-based platform ensures that voters holdings are anonymous, thereby balancing decentralisation and preventing undue influence of voting outcomes by large ADA holders. Also, given the possibility of delays and possible frustration of voters because of congestion during peak voting moments, respondents noted that it can limit voters participation, and overall adoption of the platform. However, this study suggested the additional impact of side chains such as the Plutus and Marlowe Cardano tools of the main tech stack which can confer additional resilience to the system, particularly for handling congesting during peak voting moments. The use of side chains to confer additional resilience and manage technical concerns of congestion, and balance of decentralisation through the tiered voting system proves that the system is not only scalable, but also suitable for the catalyst voting process, which meets the third and fourth objectives of the study respectively.

Designing a decentralised and secure voting platform

The most important aspect of designing a decentralised and secure voting system using ZKP is the usability and accessibility of the platform. If the platform is first easy to use, even by less tech savvy people, and can fix certain challenges of already existing systems—in this case it is transparency and voter privacy—then it can be adopted. For the ZKP-based voting platform, its scalability using side chains, user-friendly interface which allows anyone to make use of it, fast tallying, verification of eligibility and real-time validation of results, in addition to maintaining transparency of the process, has shown that respondents have 70% and 75% trust and confidence in the process respectively, hence will adopt it. The ability of this platform to be resilient to attacks, gain public trust through transparency of the system, enable multiple users at the same time without delays, balance decentralisation and voting influence, and optimise process flow by ensuring that the results are faster, have shown the protocols to follow while designing a transparent and secure voting platform, thereby meeting the last objective of this study.

Recommendations

Based on the findings of this study, the following recommendations have been made for blockchain based voting systems and for further research:

▪: To achieve both privacy and transparency of voting in blockchain-based ecosystems, ZKP can be implemented. This is due to its ability to maintain decentralisation, auditability, transparency and community involvement.
▪: There should be established standardised ZKP protocols in the system such as side chain tools to enhance interoperability and scalability.
▪: For future studies, further investigation into the scalability and performance of ZKP-based voting systems in large-scale settings should be done. This also includes ensuring the specific features to be implemented in the platform which aids usability and accessibility of the platform.
▪: Studies should also understand the dynamics of regulatory and legal frameworks across different jurisdictions, analyse similarities and differences in the trend for their development and implementation. This includes ensuring accurate testing of the platform prior to its adoption by the public, making sure that its operation is seamless and effective for the course which it was developed for.

Conclusion

This study has solved the trilemma challenge of decentralisation, security and scalability of the blockchain based voting system which limits the privacy and confidentiality of the system, reducing voters’ participation due to lack of trust and fairness. It has provided evidence on how ZKP contributes to enhancing transparency, how it does that, and its implication for the catalyst voting process. It is therefore concluded that ZKP confers additional security to the blockchain system, enhances the efficiency of the catalyst voting process, and upholds the goal of security and decentralisation of voting systems in blockchain ecosystems. ZKP can also be deployed in other niches, but its primary concern is to enable transparency and confidentiality at the same time.

References

Aleo — revolutionizing blockchain with Zero-Knowledge Proofs. Available at: https://medium.com/@ur4ix/aleo-revolutionizing-blockchain-with-zero-knowledge-proofs-ec307abe088a.
Chi, P.W., Lu, Y.H. and Guan, A., 2023. A privacy-preserving zero-knowledge proof for blockchain. IEEE Access. [CrossRef]
Feng, T., Yang, P., Liu, C., Fang, J. and Ma, R., 2022. Blockchain data privacy protection and sharing scheme based on zero-knowledge proof. Wireless Communications and Mobile Computing, 2022, pp.1-11. [CrossRef]
Han, M., Yin, Z., Cheng, P., Zhang, X. and Ma, S., 2020. Zero-knowledge identity authentication for internet of vehicles: Improvement and application. Plos one, 15(9), p.e0239043. [CrossRef]
Hasan, J., 2019. Overview and applications of zero knowledge proof (ZKP). International Journal of Computer Science and Network, 8(5), pp.2277-5420.
Hryniuk, O., 2023. How is Marlowe different from Plutus. Available online at: https://www.essentialcardano.io/faq/how-is-marlowe-different-from-plutus.
King, S., 2023. Marlowe: Simplifying Financial Smart Contracts on Cardano’s Blockchain. Available online: https://forum.cardano.org/t/marlowe-simplifying-financial-smart-contracts-on-cardanos-blockchain/124320.
Li, W., Guo, H., Nejad, M. and Shen, C.C., 2020. Privacy-preserving traffic management: A blockchain and zero-knowledge proof inspired approach. IEEE access, 8, pp.181733-181743. [CrossRef]
Methmal, J., 2023. Zero Knowledge Proofs: A Comprehensive Review of Applications, Protocols, and Future Directions in Cybersecurity. [CrossRef]
Panja, S. and Roy, B.K., 2018. A secure end-to-end verifiable e-voting system using zero knowledge based blockchain. Cryptology ePrint Archive.
Partala, J., Nguyen, T.H. and Pirttikangas, S., 2020. Non-interactive zero-knowledge for blockchain: A survey. IEEE Access, 8, pp.227945-227961. [CrossRef]
Prasad, S., Tiwari, N., Chawla, M. and Tomar, D.S., 2024. Zero-Knowledge Proofs in Blockchain-Enabled Supply Chain Management. In Sustainable Security Practices Using Blockchain, Quantum and Post-Quantum Technologies for Real Time Applications (pp. 47-70). Singapore: Springer Nature Singapore. [CrossRef]
Principato, M., Babel, M., Guggenberger, T., Kropp, J. and Mertel, S., 2023. Towards Solving the Blockchain Trilemma: An Exploration of Zero-Knowledge Proofs.
Pruden, A., 2021. The future of zero-knowledge with Aleo. Available at: https://aleo.org/post/the-future-of-zero-knowledge-with-aleo/.
Sanjaya, M.D., 2021. A Blockchain Based Approach for Secure E-Voting System (Doctoral dissertation).
Sedlmeir, J., Völter, F. and Strüker, J., 2021. The next stage of green electricity labeling: using zero-knowledge proofs for blockchain-based certificates of origin and use. ACM SIGENERGY Energy Informatics Review, 1(1), pp.20-31. [CrossRef]
Twenhoven, T., 2023. Trust, But Verify: Potentials for Zero Knowledge Proofs in Supply Chain Management. Zoom Research Seminar / 5th Floor EE Lecture 2. Available online at:https://www.klu.org/event/trust-but-verify-potentials-for-zero-knowledge-proofs-in-supply-chain-management.
Tyagi, S. and Kathuria, M., 2022, May. Role of Zero-Knowledge Proof in Blockchain Security. In 2022 International Conference on Machine Learning, Big Data, Cloud and Parallel Computing (COM-IT-CON) (Vol. 1, pp. 738-743). IEEE. [CrossRef]
VanticaTrading, 2023. What is Midnight, Cardano’s Privacy Sidechain? Available online at: https://www.vanticatrading.com/post/what-is-midnight-cardano-s-privacy-sidechain.
Xu, X., 2024. Zero-knowledge proofs in education: a pathway to disability inclusion and equitable learning opportunities. Smart Learning Environments, 11(1), p.7. [CrossRef]
Yang, X. and Li, W., 2020. A zero-knowledge-proof-based digital identity management scheme in blockchain. Computers & Security, 99, p.102050. [CrossRef]
Zero-knowledge Proofs: An Intuitive Explanation. Available online at: https://minaprotocol.com/blog/zero-knowledge-proofs-an-intuitive-explanation#:~:text=The%20purpose%20of%20zero%2Dknowledge,without%20giving%20them%20the%20solution.
Zhou, L., Diro, A., Saini, A., Kaisar, S. and Hiep, P.C., 2024. Leveraging zero knowledge proofs for blockchain-based identity sharing: A survey of advancements, challenges and opportunities. Journal of Information Security and Applications, 80, p.103678. [CrossRef]

Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

© 2024 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).

Copyright: This open access article is published under a Creative Commons CC BY 4.0 license, which permit the free download, distribution, and reuse, provided that the author and preprint are cited in any reuse.