<?xml version="1.0" encoding="UTF-8"?>
<article article-type="Research Article">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher">journal-of-discrete-mathematical-sciences-and-cryptography</journal-id>
      <journal-title-group>
        <journal-title>Journal of Discrete Mathematical Sciences and Cryptography</journal-title>
      </journal-title-group>
      <issn publication-format="electronic">2169-0065</issn>
      <issn publication-format="print">0972-0529</issn>
      <publisher>
        <publisher-name>Taru Publications</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.47974/JDMSC-2542</article-id>
      <title-group>
        <article-title>Enhancing cryptographic security through zero-knowledge proofs in theoretical mathematics</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name>
            <surname>Dhabliya</surname>
            <given-names>Dharmesh</given-names>
          </name>
          <aff>Department of Computer Science &amp; Engineering, Vishwakarma Institute of Technology, Pune, Maharashtra, 411037, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Lavhale</surname>
            <given-names>Aditya</given-names>
          </name>
          <aff>Department of Computer Science and Engineering, Tulsiramji Gaikwad-Patil College of Engineering and Technology, Nagpur, Maharashtra, 441108, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Thakur</surname>
            <given-names>Sunil</given-names>
          </name>
          <aff>Department of School of Engineering &amp; Technology, Noida International University, Noida, Uttar Pradesh, 203201, India</aff>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name>
            <surname>Gomathi</surname>
            <given-names>R. M.</given-names>
          </name>
          <aff>Department of Information Technology, Sathyabama Institute of Science and Technology, Chennai, Tamil Nadu, 600119</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>Kumar</surname>
            <given-names>Amit</given-names>
          </name>
          <aff>Department of Computer Science &amp; Engineering, Centre of Research Impact and Outcome, Chitkara University, Rajpura, Punjab, 140417, India</aff>
        </contrib>
        <contrib contrib-type="author">
          <name>
            <surname>De</surname>
            <given-names>Sayantani</given-names>
          </name>
          <aff>Department of Computer Science &amp; Information Technology, Arka Jain University, Jamshedpur, Jharkhand, 831001, India</aff>
        </contrib>
      </contrib-group>
      <volume>29</volume>
      <issue>2-B</issue>
      <fpage>913</fpage>
      <lpage>921</lpage>
      <pub-date date-type="pub">
        <day>31</day>
        <month>12</month>
        <year>2025</year>
      </pub-date>
      <abstract>
        <p>In modern cryptography, improving the cryptographic security of Zero-Knowledge Proofs (ZKP) has become a compelling trend. Traditional models like the zk-SNARK and zk-STARK has shown strong security but are accompanied by the inherent issues of computational complexity and proof size. This work presents the Algebraic Zero-Knowledge Proof (AZKP) framework, using algebraic structures and integration of elliptic curves to optimize proof creation and verification. The suggested approach fills in key gaps found in the current methodologies, such as huge computational overhead and enormous proof sizes. Prime factorization in algebraic groups and ring homomorphisms of the AZKP framework is used to achieve small proof size without sacrificing computational efficiency. Comparing AZKP with zk-SNARK and zk-STARK models, experimental evaluation was applied to four critical performance metrics. generation time of proof, verification time, size of proof, and computational overhead. Results show that the AZKP is able to make a 48% decrease in proof generation duration and 20% increase in verification speed in comparison to zk-SNARK. Also, AZKP incurred lower computational cost than zk-STARK, with a proof size that is manageable. These results highlight the prospect of AZKP in cryptographic use where high-speed low-latency verification operations are desired. Further research will integrate AZKP in blockchain environments in order to increase real-time transaction validation. </p>
      </abstract>
      <kwd-group>
        <kwd>Zero-knowledge proof</kwd>
        <kwd>Algebraic cryptography</kwd>
        <kwd>Proof efficiency</kwd>
        <kwd>Computational overhead</kwd>
        <kwd>Cryptographic security</kwd>
        <kwd>Elliptic curve integration</kwd>
      </kwd-group>
      <custom-meta-group>
        <custom-meta>
          <meta-name>access</meta-name>
          <meta-value>open</meta-value>
        </custom-meta>
        <custom-meta>
          <meta-name>retracted</meta-name>
          <meta-value>no</meta-value>
        </custom-meta>
      </custom-meta-group>
    </article-meta>
  </front>
</article>
