Mohammad Fairus Bin Zulkifli, Rabiah Abdul Kadir, mohamad nazir ahmad
Growing reliance on digital knowledge sharing across academic, corporate, and public sectors has raised serious concerns about data integrity, trust, and security. Blockchain consensus mecha-nisms offer a promising path forward through decentralized, transparent, and tamper-proof frameworks. This systematic review examines how these mechanisms enhance trust in knowledge sharing platforms, focusing on four directions: how these mechanisms are applied within knowledge sharing con-texts, the challenges they introduce for knowledge sharing de-ployment, and the advantages they provide to trust-based knowledge sharing ecosystems. Following PRISMA 2020 guide-lines, three databases Scopus, IEEE Xplore, and Web of Science were searched, and peer-reviewed studies published between 2020 and 2025 were selected for analysis. In terms of knowledge sharing applications, blockchain consensus mechanisms build trust through multiple co-occurring pathways, including distrib-uted verification, transparency, cryptographic security, immu-tability, incentive alignment, and smart contract automation. Algorithms such as Proof of Work, Proof of Stake, Delegated Proof of Stake, and Byzantine Fault Tolerance variants are widely adopted, each offering different trade-offs between secu-rity, efficiency, and scalability. In terms of challenges, scalabil-ity, energy consumption, and integration complexity with exist-ing systems remain the most significant barriers to adoption. In terms of advantages, blockchain consistently delivers stronger data security, greater transparency, and reduced dependence on centralized authorities across knowledge sharing contexts. This review concludes that blockchain consensus mechanisms offer layered and compounding trust benefits, yet technical and or-ganizational barriers continue to limit widespread deployment. Future research should focus on energy-efficient protocols, scalable architectures, and real-world effectiveness studies.
This study presents a novel framework for integrating algorithmic audit trails into cloud banking compliance systems through the application of zero-knowledge proofs (ZKPs), addressing the critical tension between regulatory transparency and data privacy. The increasing migration of banking operations to cloud infrastructures has intensified the need for robust audit mechanisms that can verify compliance with financial regulations—such as anti-money laundering (AML) and know-your-customer (KYC) mandates—without exposing sensitive client information or proprietary risk models. Traditional audit trails, which rely on logging and storing plaintext transactional data, introduce significant vulnerabilities, including data breaches, unauthorized access, and inconsistencies across distributed cloud environments. Conversely, pure cryptographic anonymization can render audits meaningless by obscuring the provenance and integrity of records. The proposed architecture leverages ZKPs to allow an auditor (a regulatory body or internal compliance officer) to verify that a set of transactions adheres to predefined compliance rules without ever accessing the underlying data. In this system, each financial transaction executed within a cloud banking platform generates a cryptographic commitment. This commitment, along with a zero-knowledge proof, attests that the transaction satisfies all applicable regulatory constraints—such as limits on transaction value, jurisdictional restrictions, or multi-factor authentication requirements—without revealing the specific account numbers, personal identifiers, or the exact transaction details. The proof is constructed using succinct non-interactive zero-knowledge arguments (zk SNARKs), which provide both scalability and computational efficiency suitable for high-frequency transaction environments. The framework is built upon a dual-layer architecture. The first layer, the compliance engine, resides within the cloud banking application and is responsible for executing transactions, generating the corresponding ZK proofs, and committing the hashed transaction data to an immutable, decentralized ledger—a permissioned blockchain. This ledger serves as the algorithmic audit trail, recording only the cryptographic commitments and the proofs. The second layer, the audit interface, is accessible to authorized auditors. When an audit is required, the auditor submits a verification request against a specific range of transactions. The system retrieves the relevant commitments and proofs from the blockchain and runs a verification algorithm. The output is a simple Boolean result: either all transactions in the requested range are compliant, or the proof fails, triggering a detailed exception process. Importantly, the auditor gains no knowledge of the underlying transaction data; they only learn whether the regulatory predicates have been met. To realize this framework, the study identifies and addresses three principal challenges: proof generation overhead, scalability within cloud environments, and the integration of dynamic regulatory rules. Proof generation, particularly for complex compliance rules, can be computationally intensive. The proposed solution employs a hybrid approach: pre-computed proof templates for standard compliance checks (e.g., transaction size limits) are cached and reused, while complex, multi-condition checks (e.g., suspicious activity reporting rules) generate proofs on-the-fly using optimized multi-party computation techniques. For scalability, the audit trail ledger utilizes a sharded blockchain architecture, where transaction records are partitioned across multiple parallel chains based on geographic region or transaction type, ensuring that proof verification can be performed concurrently without a single bottleneck. Dynamic regulatory rules are accommodated through a modular smart contract layer. When a regulation changes, the underlying compliance predicate is updated on the blockchain, and all subsequent proofs are generated against the new rule. Existing valid proofs remain immutable, providing a historical record of compliance at the time of each transaction
In the modern digital landscape, traditional cen- tralized storage models are increasingly vulnerable to security breaches, suffer from single points of failure, incur high main- tenance costs, and present scalability limitations. The Decen- tralized Storage System (DSS) is proposed as an alternative solution, utilizing distributed ledger technologies, peer-to-peer (P2P) networks, and advanced cryptographic mechanisms to establish a fault-tolerant, secure, and highly available data storage infrastructure. This paper presents the design and imple- mentation of a decentralized storage framework that integrates key blockchain concepts—such as immutability, transparency, and consensus validation—to enhance data integrity and security. The system enables users to store, retrieve, and share data in a fully decentralized manner while ensuring confidentiality through encryption. The work includes a comprehensive architectural and functional analysis of a full-stack, decentralized file storage platform built specifically on the Filecoin Protocol, leveraging the InterPlanetary File System (IPFS) for distributed content addressing and efficient data retrieval. The platform employs a hybrid architecture combining Web2 technologies—Next.js for the frontend, Node.js/Express for the backend, and MongoDB for centralized metadata management—with core Web3 protocols. The analysis confirms the project's success in creating a practical, non-custodial storage solution that abstracts the complexities of the decentralized web. However, a key architectural trade-off is identified: the system's reliance on provider-centric tooling (Boost CLI) and third-party Remote Procedure Call (RPC) endpoints (Glif API) simplifies development but introduces dependencies that compromise the ideal of full, end-to-end decentralization.
System based on blockchain technology and smart contracts. The system aims to address the growing problem of managing and transferring digital assets such as cryptocurrency wallets, domains, cloud storage, NFTs, and gaming assets after the owner’s death. The proposed solution introduces a Dead Man’s Switch mechanism, where users are required to perform periodic check-ins. In case of prolonged inactivity, the system automatically triggers a smart contract that securely transfers access to designated heirs. The system leverages blockchain technology to ensure transparency, immutability, and security, while decentralized storage (IPFS) is used to protect sensitive data through encryption. The platform integrates modern technologies including Ethereum, Solidity, Web3.js, and decentralized storage solutions to provide a fully automated, secure, and trustless inheritance process without relying on centralized authorities or complex legal procedures. This work was conducted at Arab International University (AIU), Syria. The official website of the university is: https://www.aiu.edu.sy
Nuha Omran Abokhdair, Ali Alissawi Ahmed AlQudairi
Decentralized storage networks increasingly rely on blockchain-based verification to ensure data integrity without centralized control; however, proof-intensive workloads introduce significant latency and on-chain cost overhead. This paper presents a lifecycle-based comparative analysis of major zero-knowledge proof (ZKP) models used in decentralized storage, focusing on zk-SNARK frameworks and transparent zk-STARK constructions. A multi-layer evaluation framework is introduced, aligning performance analysis with the core stages of the proof lifecycle: generation, aggregation, and on-chain verification. Building on this analysis, the paper proposes a hybrid architecture that combines parallel STARK-based proof generation with recursive SNARK-based compression, reducing on-chain verification complexity to near-constant. A Filecoin-inspired case study, supported by a quasi-empirical performance model, demonstrates that the proposed hybrid approach significantly reduces verification latency and data overhead while mitigating the linear growth of verification costs. The results indicate that hybrid ZKP architectures offer a scalable and economically viable solution for decentralized storage systems and large-scale blockchain networks. Keywords: Zero-knowledge proofs, zk-SNARKs, zk-STARKs, recursive aggregation, decentralized storage, verifiable cryptography, scalability, gas cost.
As the digital transformation accelerates, the security of cloud-based data storage and transmission has become a critical concern. Traditional cryptographic models often fail to ensure data integrity, privacy, and non-repudiation in distributed environments. This study proposes a blockchain-based security framework that integrates smart contracts, hash-based consensus, and distributed ledger technology (DLT) to enhance cloud data protection. The framework leverages immutable storage for audit trails, consensus validation for tamper detection, and homomorphic encryption for privacy-preserving computations. Experiments using Hyperledger Fabric and Ethereum private testbeds reveal that blockchain integration improves data integrity verification efficiency by 42% and reduces unauthorized modification risks by 35% compared to conventional systems. The findings underscore blockchain’s role as a cornerstone of trustworthy cloud architectures, ensuring both transparency and confidentiality in global digital ecosystems..
The fast digitalization of contemporary society has changed the data into a valuable resource, and it has been the key to the innovation in the financial sector, healthcare, politics, and industries, and it has also increased risks both in terms of misusing it, stealing it, and using it. Information security through maintaining confidentiality, integrity and availability of information has thus become a pre-requisite to trust in digital infrastructures. The present paper gives a detailed discussion of how cryptography, cybersecurity, and data privacy come into convergence and have a central role to play in protecting the digital ecosystems. Basic cryptographic primitives such as symmetric and asymmetric encryption, hash functions as well as digital signatures are discussed as the foundation of secure communication. With these, more complex privacy-sensitive technology like homomorphic encryption, zero-knowledge proofs, and differential privacy is discussed as technology that could offer the opportunity to perform safe computation and share data without jeopardizing the privacy of individuals.The paper also explores the disruptive potential of quantum computing, specifically how it can render the popular public-key systems insecure by figuring out ways to break them, e.g. the Shor algorithm, and assesses the new paradigm of post-quantum cryptography as a reaction to this existential risk. The examples are discussed within various fields such as secure communication schemes, data-at-rest security, cloud computing, and the Internet of things (IoT), e.g., in which cryptographic efficiency and versatility are most crucial. It is a synthesis of these factors that the paper highlights that cryptography is not only a technical protection but it is a cornerstone enabling resiliency, trust, and privacy-by-design in the digital era. This paper then ends with a discussion on the challenges that still need to be tackled, including scalability, usability and compliance with regulations, and how future research will be needed to define the future of secure and privacy-preserving technologies in the increasingly interconnected world.
This article examines the integration of blockchain, distributed file system, and virtualization technologies (including Virtual SAN, VSAN) to improve data storage privacy and efficiency. The limitations of traditional centralized storage models are presented, such as vulnerability to tampering, limited flexibility in access control, difficulty in auditing, and low resource efficiency. A concept for an integrated data storage system based on blockchain smart contracts is proposed. This system incorporates data encryption, implementation of an access control strategy based on blockchain attributes, the use of virtualization optimized through VSAN, distributed key management, and privacy-enhancing technologies (zero-knowledge proof, trusted computing environment). The proposed architecture provides flexible access control, efficient data processing, and a high level of security in a public or private blockchain environment.
Liaqat Ali, Ahmad Alshamayleh, Amer Ibrahim, Syed Muqtar Ahmed
Cloud technologies have dramatically altered the data storage, access, and scalability landscape, but the resultant dependence on centralized systems creates immense challenges for security, privacy, and unauthorized access. This paper introduces a new framework for enabling information management in cloud environments using blockchain-enabled secure access control. By integrating distributed ledger technology and highly cryptographic access control methods, this framework will facilitate immutable record-keeping, real-time verification of access rights, and the ability to audit user activity. This framework will substantially reduce the risk of data breaches, insider threats, and unauthorized access through its transparency and overall operational reliance. The empirical evaluations confirm that blockchain-enabled access control provides an impressive level of security, while smoothing information management processes and establishing trust and resilience in cloud environments. The results will demonstrate that blockchain can disrupt cloud information management and provide a scalable, privacy-preserving solution for any enterprise or multi-tenant cloud application.
The article systematizes modern methods of zero-knowledge proof (ZKP). Classification features are considered: protocol interactivity, algebraic or stochastic basis, need for trusted setup, type of zero-knowledge, and proof model. Classical schemes (Fiat–Shamir, Schnorr, Blum), modern zk-SNARK and zk-STARK, as well as novel approaches – PLONK, Halo 2, Bulletproofs, lattice-based ZKPs, and machine learning proofs are described. A comparative analysis is conducted according to efficiency, proof size, generation and verification complexity. It is shown that SNARKs provide compactness but require a trusted setup, while STARKs are transparent and post-quantum secure but large. Open problems are highlighted: recursive proofs, standardization, metadata protection, and applications in machine learning. It is concluded that further research in this field is aimed at creating scalable, secure, and quantum-resistant protocols for digital technologies.
Document verification in traditional systems suffers from centralized control, single points of failure, and lack of user sovereignty over personal credentials. This paper presents a novel decentralized document verification system based on Self-Sovereign Identity (SSI) principles, integrating IPFS for dis- tributed storage with smart contracts for immutable verification. Our three-tier architecture comprises users who maintain full control over their documents, verifiers who can authenticate document integrity through QR code scanning, and authori- ties who manage verifier permissions through blockchain-based access control. The system stores document content on IPFS while maintaining metadata and cryptographic hashes on-chain, ensuring both privacy and verifiability. Users upload documents to IPFS, generate QR codes containing document identifiers, and register hash values in smart contracts. Verifiers scan QR codes to retrieve documents and verify authenticity by comparing stored hashes with computed values through smart contract functions. Security analysis demonstrates resistance to tampering, unauthorized access, and single points of failure. Performance evaluation shows efficient gas usage, scalable verification times, and reduced storage costs compared to fully on-chain approaches. The system addresses critical limitations of existing identity management solutions by providing genuine user sovereignty, eliminating central authorities, and enabling privacy-preserving verification. This work contributes a practical SSI implementa- tion suitable for academic credentials, government documents, and enterprise certificate management, advancing the field of decentralized identity systems.
The security of a patient’s clinical records and their confidentiality is a crucial responsibility for any medical orga- nization seeking to operate optimally and protect the privacy of its patients. The loss of a patient’s clinical record in a data breach can have disastrous consequences. According to the 2022 Data Breaches Investigations Report by Verizon, human error contributed to 82% of data breaches. To address this issue, this research paper proposes a system that integrates user- side inspection software and blockchain technology to prevent data breaches by leveraging blockchain’s transparency and immutability. Our proposed system can prevent data breaches by protecting sensitive files from unauthorized access within the organization as well as outside the organization while also ensuring the secure transmission of cryptographically-secured files. The system utilizes a Proof of Stake (PoS) consensus algorithm to enhance security, scalability, and efficiency so that it can even be used by organizations without considerable computer architecture.
Vinoth Punniyamoorthy, Ashok Gadi Parthi, Mayilsamy Palanigounder, Ravi Kiran Kodali · 6 authors
Distributed machine learning systems require strong privacy guarantees, verifiable compliance, and scalable deployment across heterogeneous and multi-cloud environments. This work introduces a cloud-native privacy-preserving architecture that integrates federated learning, differential privacy, zero-knowledge compliance proofs, and adaptive governance powered by reinforcement learning. The framework supports secure model training and inference without centralizing sensitive data, while enabling cryptographically verifiable policy enforcement across institutions and cloud platforms. A full prototype deployed across hybrid Kubernetes clusters demonstrates reduced membership-inference risk, consistent enforcement of formal privacy budgets, and stable model performance under differential privacy. Experimental evaluation across multi-institution workloads shows that the architecture maintains utility with minimal overhead while providing continuous, risk-aware governance. The proposed framework establishes a practical foundation for deploying trustworthy and compliant distributed machine learning systems at scale.
R Udayakumar, A Haja Alaudeen, Anjali Goswami, N Arvinth · 5 authors
Blockchain technologies incorporated with decentralized energy grids can offer new paradigms in energy management, distribution, and consumption. Trust building among participants in decentralized energy systems is a critical challenge in the absence of a central authority. Foremost, the self-executing, fully autonomous blockchain-based smart contracts and the decentralized automated systems enable real-time, secure, and transparent business transactions. This paper examines the domain of smart blockchain contracts in decentralized energy grids. Smart contracts facilitate self-enforcement, aiding trust-building. Invoice blockchain contracts enable automated energy exchange, thereby facilitating contract execution without third-party involvement. Trust-building, system decentralization, energy producers and consumers bypassing operators, and operational cost reduction for self-sustainability provide system autonomy. The paper also discusses self-governing blockchain contract systems engineering. In smart energy contracts, the paper outlines system challenges, which include load, interoperable infrastructure, and energy consumption. Empirical and case study research, which are the primary focus of the paper, present blockchain contracts for decentralized energy systems as a trust-management and transaction-integration technology.
The digital transformation of education necessitates secure, private, and learner-centric methods for verifying academic credentials. Conventional verification processes expose sensitive personally identifiable information, creating privacy risks that conflict with data protection regulations like GDPR. Existing blockchain solutions for educational credential verification face persistent challenges including prohibitive transaction costs, privacy vulnerabilities, and inflexible verification models. This paper presents VeriZKP, a proof-of-concept architecture demonstrating gas-free credential verification on Ethereum using zero-knowledge proofs. The core innovation lies in separating on-chain trust anchoring from off-chain cryptographic computation, enabling a novel cost-elimination mechanism. The system leverages Ethereum’s view functions through pre-compiled verifier contracts to achieve zero gas consumption for verification operations while preserving privacy through selective disclosure mechanisms. Our prototype, evaluated on Ethereum Sepolia testnet, validates the fundamental feasibility of this approach. Results demonstrate complete elimination of verification costs, practical client-side proof generation times of 1.02-1.63 seconds on standard hardware, and support for multi-attribute credential verification. The architecture proves both economically viable and performant for blockchain-based identity systems.
Access to digital services requires entities, such as users or software services, to establish their identities before interacting with service providers. Conventional identity management systems typically maintain separate identity records for each application, often resulting in multiple accounts for the same entity within a single service provider. When identical personally identifiable information and attributes are reused across platforms, these fragmented records can be correlated, increasing the risk of identity exposure and privacy breaches. This work presents an entity-centric identity management model tailored for cloud environments, designed to enhance privacy and reduce unnecessary information disclosure. The proposed approach is founded on two core components. The first is anonymous identification, which enables entities to interact with cloud services based on predefined privacy preferences without revealing their true identities. The second component introduces active bundles, which encapsulate personally identifiable information, usage policies, and an embedded execution environment responsible for enforcing privacy constraints. These bundles autonomously apply protection mechanisms to safeguard sensitive data, even when deployed on untrusted platforms. The proposed model offers several advantages, including reduced dependence on external identity providers, controlled disclosure of identity attributes to service providers, and secure utilization of identity data in untrusted cloud environments. By integrating privacy-enhancing technologies such as zero-knowledge proofs, the framework provides a robust and flexible solution for privacy-aware identity management in modern cloud-based systems.
In a rapidly digitalizing world, identity verification has become the cornerstone of secure online interaction. Traditional authentication models, which depend on centralized authorities and password-based systems, are increasingly vulnerable to breaches, identity theft, and data manipulation. Blockchain-backed identity systems offer a promising alternative by decentralizing trust, ensuring immutability, and empowering users with self-sovereign control over their credentials. This review explores how blockchain technology enhances authentication reliability through decentralization, cryptographic assurance, and automation. The paper first examines the fundamentals of blockchain-based identity management, including decentralized identifiers (DIDs), verifiable credentials (VCs), and smart contracts that automate credential verification and revocation. It then presents the architectural components of blockchain identity systems, highlighting how cryptographic hashing, distributed consensus, and off-chain storage combine to create secure yet compliant authentication workflows. The analysis demonstrates that blockchain-backed identity frameworks significantly improve authentication reliability by removing single points of failure, enhancing data integrity, and enabling privacy-preserving verification through mechanisms like zero-knowledge proofs. Comparative evaluation with traditional systems reveals that blockchain ensures superior resilience, transparency, and user control, albeit with challenges in scalability, interoperability, and key management.
There is a large amount of redundant data among users of cloud storage services. Client-side deduplication helps reduce the cost for service providers by avoiding repeated uploads and storage. However, this technique brings new security risks. Malicious users may use illegally obtained deduplication tags, such as file fingerprints, to fake ownership of other users’ files. Proof of Ownership (PoW) can require users to prove they have the full file, but existing methods are inefficient. They often need multiple rounds of interaction or complex computation over the whole file. As a result, the verification time increases with file size. To solve this problem, we propose a non-interactive PoW scheme based on zk-STARK. The system selects a number of challenge blocks that meet cryptographic security. It uses arithmetic circuits to encode block selection, hash computation, and the correctness of accumulators. Users only need to generate a zero-knowledge proof on these blocks. This allows them to prove they own the full file without revealing its content. The verification time does not depend on file size and appears near-constant in practice. In tests on files from 64 MB to 1 GB, our scheme is 1.2 to 46 times faster than existing methods. Security analysis shows that only a small number of blocks need to be verified. Even if an attacker knows 90% of the file, the chance of forgery is still lower than 2 − 80 . This scheme provides an efficient and practical solution for deduplication in cloud storage with strong privacy protection.
Cloud computing has emerged as the dominant platform for contemporary data management and service provision. However, its centralized nature poses significant risks to security, privacy, and trust. Distributed systems can enhance data integrity and auditability by incorporating blockchain technology, which offers a decentralized and tamper-resistant approach. Nevertheless, the inherent transparency of blockchain conflicts with the confidentiality requirements of cloud environments. This review paper analyzes existing studies on privacy-preserving blockchain architectures designed to secure cloud-based information systems. A systematic literature review methodology was adopted, examining forty-eight peer-reviewed studies published between 2018 and 2024. The findings reveal that researchers have explored approaches such as encryption, zero-knowledge proofs, homomorphic encryption, and hybrid on/off-chain models to balance transparency and privacy. Scalability, interoperability, and regulatory compliance remain key challenges, particularly in permissioned blockchains, which nevertheless offer advantages in governance and compliance. The study identifies research gaps and future directions, including the development of common privacy frameworks, integration of confidential computing, and establishment of standardized evaluation metrics. Overall, privacy-sensitive blockchain architectures hold strong potential for creating trustworthy and secure cloud systems.
Zero-knowledge proofs (ZKPs) enable a prover to convince a verifier of knowledge of a secret without revealing it. The ZKP for the square-root problem has many applications in network and cloud security, such as user authentication and privacy-preserving cloud storage auditing. Classical protocols for the quadratic residuosity (square-root) relation require multiple iterations to reach negligible soundness error, incurring latency and communication costs that are critical in cloud settings. This paper proposes a new single-round zero-knowledge proof (SR-ZKP) for the square-root problem that achieves the same soundness as iterative schemes by increasing the challenge length. The protocol requires only one execution of a 4-message protocol (request, commit, challenge, response) and can be transformed into a one-message non-interactive ZKP via the Fiat–Shamir heuristic. The completeness, soundness, and zero-knowledge properties of the proposed scheme are formally proven. The results of this study show that the proposed protocol can achieve approximately \(97\%\) reduction in communication overhead and latency, when compared to an 80-round iterative ZKPs with RSA modulus n of size 2048 bits. This provides a substantial advantage for cloud applications.
Hassan Raza, Tsendayush Erdenetsogt, Muhammad Mohsin Kabeer, Muhammad Arsalan Aslam · 5 authors
The block chain technology has become a potential solution to improving security, privacy, and trust on contemporary data management systems. Conventional centralized systems are easily breached, tampered with and unauthorized access makes it necessary to have decentralized systems that cannot easily be tampered with. Block chain offers immutability, transparency, and cryptographic security and smart contracts offer automated access control and auditing. Sensitive information is safeguarded using privacy-saving methods, such as encryption, a zero-knowledge proof, and decentralized identity schemes. Scalability and collaboration are further increased with integration with cloud and big data systems. This review identifies the uses of Block chain, challenges and future research direction, which shows that Block chain is capable of changing the way secure and privacy-conscious data management is achieved.
Zero-knowledge proofs (ZKPs) have evolved from foundational interactive proof systems to highly efficient, scalable, and trusted-setup-free constructions powering today’s privacy-preserving and blockchain applications. The field began with the seminal works of Goldwasser, Micali, and Rackoff (GMR) and Goldreich, Micali, Wigderson (GMW) in the 1980s, which introduced interactive proofs, knowledge complexity, and showed that all NP languages admit zero-knowledge proofs. The 1990s brought non-interactive ZK (NIZK) via the CRS model (Blum–Feldman–Micali) and practical sigma-protocols like Schnorr proofs, establishing foundational tools still used today. From the 2000s through early 2010s, research integrated pairings, PCPs, and cryptographic soundness, culminating in pairing-based NIZKs and early succinct argument systems. The SNARK revolution accelerated with QAP-based zk-SNARKs (Gennaro–Gentry–Parno), practical implementations like Pinocchio and libsnark, and the highly efficient Groth16 proving system that became a blockchain standard. Since 2018, the field has shifted toward transparent, universal, and post-quantum-secure systems. Innovations include Bulletproofs (short proofs without trusted setup), zk-STARKs (scalable and PQ-secure), PLONK (universal/updatable setup), and Halo/Halo2 enabling recursive proofs without trusted setup. These advances underpin modern Zcash deployments, zk-rollups, and privacy-preserving scaling systems across Web3. Overall, the ZKP landscape has progressed from theoretical constructs to practical, scalable, and secure systems central to modern cryptography and decentralized computation.