ZKP-based Private Blockchain, Smart Contract Vulnerability Detection & Cross-chain Interoperability
ZKP-based Private Blockchain, Smart Contract Vulnerability Detection & Cross-chain Interoperability
Authors:
Mr. Chetansing.S.Patil1, Mr. Nikhil.R.Solanke2 ,Mr. Shailesh.S.Mali3, Ms.Gayatri.S.Patil4, , Prof.Maduri.R.Chaudhari5,
1 Students, Department of Computer Science Engg, Dr. V. B. Kolte College of Engineering, Malkapur, India
2 Students, Department of Computer Science Engg, Dr. V. B. Kolte College of Engineering, Malkapur, India
3 Students, Department of Computer Science Engg, Dr. V. B. Kolte College of Engineering, Malkapur, India 4Students, Department of Computer Science Engg, Dr. V. B. Kolte College of Engineering, Malkapur, India, 5 Professor, Department of Computer Science Engg
Abstract –
The rapid proliferation of blockchain-based decentralized applications has introduced critical security challenges ranging from vulnerable smart contracts to privacy leakage in on-chain transactions. Existing tools address these challenges in isolation, leaving practitioners to integrate disparate solutions. OmniShield is a unified, open-source blockchain security platform that consolidates AI-powered smart contract vulnerability scanning, zero-knowledge proof (ZKP) private transfers, and a private QBFT consensus network into a single cohesive system. The scanner combines static pattern analysis, symbolic execution, and a Gemini-LLM reasoning layer to detect reentrancy, integer overflow, access-control flaws, and twelve other vulnerability classes with severity ratings. Private transfers leverage Groth16 zk-SNARKs over Circom circuits so balances remain hidden on-chain while cryptographic validity is enforced. The underlying network runs on Hyperledger Besu with QBFT consensus, providing Byzantine-fault-toleran block production. Experimental results show the scanner correctly identifies known vulnerabilities in benchmark contracts, ZKP proof generation completes in under 15 seconds on consumer hardware, and end-to-end private transfers finalize within two consensus rounds. OmniShield demonstrates that enterprise-grade blockchain security can be packaged as an accessible, developer-friendly platform.
Key Words: blockchain security, smart contract analysis, zero-knowledge proofs, zk-SNARKs, Hyperledger Besu, QBFT consensus, AI vulnerability scanner, reentrancy, Solidity.