IP Library › Granted Patent US 12,231,568
Granted Patent B2
US 12,231,568 · App. 17/224,374 · Granted Feb 18, 2025

Algebraic proof-of-work algorithm for blockchains

Inventors: Muslum Ozgur Ozmen (Tampa, FL); Rouzbeh Behnia (Tampa, FL); Attila Altay Yavuz (Tampa, FL)
Assignee: University of South Florida
H04L9/3218G06F17/16H04L9/3093H04L9/50
View Patent ↗
Loading inventors, assignments & file history…
Monitor This Case
Get email alerts when status or documents change.
Order Certified Copies
Most orders are placed with the USPTO same day — all within 24 business hours.
Order via The Patent Place →
Pre-filled with this patent's details
Quick Facts
Patent No.
US 12,231,568
App. No.
17/224,374
Granted
Feb 18, 2025
Kind
B2
Abstract

An algebraic proof-of-work algorithm is provided that can be used as part of the consensus algorithm used by cryptocurrencies such as Bitcoin. Instead of solving blocks using a hash puzzle, the present algorithm uses an algebraic puzzle such as a lattice-based puzzle based on the shortest vector problem and/or the knapsack problem. A cryptocurrency using the proposed proof-of-work algorithm has only a small quantum advantage when compared with existing proof-of-work algorithms.

Claims (68)

1. A computer-implemented method for providing a proof-of-work for a blockchain comprising:

receiving a cryptocurrency transaction request by a first computing device of a plurality of computing devices of a peer-to-peer blockchain network associated with the cryptocurrency; and

in response to receiving the cryptocurrency transaction request:

generating a block for a blockchain by the first computing device in the peer-to-peer blockchain network, wherein the block represents the cryptocurrency transaction request;

hashing the received block into a positive integer S and a list of positive integers (a 1 , a 2 , . . . , a n ) to create a shortest vector problem proof-of-work (PoW) by the first computing device;

solving the shortest vector problem PoW using a lattice sieving algorithm by the first computing device to generate a solution (∈ 1 , ∈ 2 , . . . , ∈ n );

transmitting the block and the solution to each other computing device of the plurality of computing devices in the peer-to-peer blockchain network by the first computing device; and

in response to solving the shortest vector problem PoW, adding the block to the blockchain by the first computing device.

2. The method of claim 1 , wherein the lattice sieving algorithm comprises a knapsack-based algorithm.

3. The method of claim 1 , wherein a difficulty of the shortest vector problem PoW may be increased by increasing a number of positive integers n in the list of positive integers.

4. The method of claim 1 , further comprising:

receiving the block and the solution (∈ 1 , ∈ 2 , . . . , ∈ n ) by another computing device of the plurality of computing devices;

verifying the solution (∈ 1 , ∈ 2 , . . . , ∈ n ) by the another computing device of the plurality of computing devices by determining that

S

=

∑

i

=

1

n

⁢

ϵ

i

⁢

a

i

,

 wherein ∈ i is an i th integer in the solution and a i is an i th integer in the list of positive integers; and

in response to verifying the solution, adding the block to the blockchain by the another computing device.

5. A computer-implemented system for providing a proof-of-work for a blockchain comprising:

a peer-to-peer blockchain network comprising a plurality of computing devices, wherein each computing device is configured to:

receiving a cryptocurrency transaction request by a first computing device of a plurality of computing devices of a peer-to-peer blockchain network associated with the cryptocurrency; and

in response to receiving the cryptocurrency transaction request:

generate a block for a blockchain;

hash the received block into a positive integer S and a list of positive integers (a 1 , a 2 , . . . , a n ) to create a shortest vector problem proof-of-work (PoW);

solve the shortest vector problem PoW using a lattice sieving algorithm to generate a solution (∈ 1 , ∈ 2 , . . . , ∈ n );

transmit the block and the solution to each node of the plurality of nodes in the peer-to-peer blockchain network; and

in response to solving the shortest vector problem PoW, add the block to the blockchain.

6. The system of claim 5 , wherein the lattice sieving algorithm comprises a knapsack-based algorithm.

7. The system of claim 5 , wherein a difficulty of the shortest vector problem PoW may be increased by increasing a number of positive integers n in the list of positive integers.

8. The system of claim 5 , wherein each computing device is further configured to:

receive the block and the solution (∈ 1 , ∈ 2 , . . . , ∈ n ) from another computing device of the plurality of computing devices;

verify the solution (∈ 1 , ∈ 2 , . . . , ∈ n ) by determining that

S

=

∑

i

=

1

n

⁢

ϵ

i

⁢

a

i

,

 wherein ∈ i is an i th integer in the solution and a i is an i th integer in the list of positive integers; and

in response to verifying the solution, add the block to the blockchain.

9. A non-transitory computer readable medium storing instructions that when executed by at least one processor of a first computing device of a plurality of computing devices of a peer-to-peer blockchain associated with a cyrptocurrency cause the at least one processor to:

receive a cryptocurrency transaction request associated with the cryptocurrency; and

in response to receiving the cryptocurrency transaction request:

generate a block for a blockchain;

hash the received block into a positive integer S and a list of positive integers (a 1 , a 2 , . . . , a n ) to create a shortest vector problem proof-of-work (PoW);

solve the shortest vector problem PoW using a lattice sieving algorithm to generate a solution (∈ 1 , ∈ 2 , . . . , ∈ n );

transmit the block and the solution to each other computing device of the plurality of computing devices in the peer-to-peer blockchain network; and

in response to solving the shortest vector problem PoW, add the block to the blockchain.

10. The non-transitory computer readable medium of claim 9 , wherein the lattice sieving algorithm comprises a knapsack-based algorithm.

Assignments (1)
ASSIGNMENT OF ASSIGNOR'S INTEREST Recorded Jan 9, 2025
From: OZMEN, MUSLUM OZGUR; BEHNIA, ROUZBEH; YAVUZ, ATTILA ALTAY
To: UNIVERSITY OF SOUTH FLORIDA
Reel/Frame 069796/0378 →
Continuity (2)
Provisional Application 63006365 · Apr 7, 2020
Related Publication 20210314158A1 · Oct 7, 2021
References Cited (51)
Merkle, Ralph; Hellman, Martin (1978). “Hiding information and signatures in trapdoor knapsacks”. Information Theory, IEEE Transactions on 24 (5): 525-530. doi:10.1109/TIT.1978.1055927. (Year: 1978). [cited by examiner]
Schneider, M. (2013). Sieving for Shortest Vectors in Ideal Lattices. In: Youssef, A., Nitaj, A., Hassanien, A.E. (eds) Progress in Cryptology—AFRICACRYPT 2013. AFRICACRYPT 2013. Lecture Notes in Computer Science, vol. … [cited by examiner]
Buchanan, William J (2015). Knapsack Encryption. Asecuritysite.com. https://web.archive.org/web/20151203072027/http://asecuritysite.com:80/encryption/knap (Year: 2015). [cited by examiner]
Bitcoin.org. Mar. 16, 2015 [Retrieved Mar. 21, 2024]. Retrieved from the Internet <https://web.archive.org/web/20150316235519/https://bitcoin.org>. (Year: 2015). [cited by examiner]
TobiasBora. “Example of difficult base for the lattice problems”. In math.stackexchange.com [online]. Mar. 15, 2017; 14:39 [retrieved Mar. 21, 2024]. Retrieved from the Internet: <https://math.stackexchange.com/question… [cited by examiner]
Ball, M., Rosen, A., Sabin, M., Vasudevan, P.N. (2018). Proofs of Work From Worst-Case Assumptions. In: Shacham, H., Boldyreva, A. (eds) Advances in Cryptology—CRYPTO 2018. CRYPTO 2018. Lecture Notes in Computer Science… [cited by examiner]
Joseph, D., Ghionis, A., Ling, C., & Mintert, F. (2019). Not-so-adiabatic quantum computation for the shortest vector problem. Physical Review Research. DOI: 10.1103/PhysRevResearch.2.013361 (Year: 2019). [cited by examiner]
S. Niksefat et al., Privacy issues in intrusion detection systems: A taxonomy, survey and future directions, Computer Science Review, 2017 (Year: 2017). [cited by examiner]
2019. Cryptocurrencies by Market Capitalization. https://coinmarketcap.com/. (2019). Last Accessed on Mar. 25, 2019. [cited by applicant]
Divesh Aggarwal, Gavin K Brennen, Troy Lee, Miklos Santha, and Marco Tomamichel. 2017. Quantum attacks on Bitcoin, and how to protect against them. arXiv preprint arXiv:1710.10377 (2017). [cited by applicant]
Martin R. Albrecht, Léo Ducas, Gottfried Herold, Elena Kirshanova, Eamonn W. Postlethwaite, and Marc Stevens. 2019. The General Sieve Kernel and New Records in Lattice Reduction. In Advances in Cryptology—EUROCRYPT 2019… [cited by applicant]
Avi Asayag, Gad Cohen, Ido Grayevsky, Maya Leshkowitz, Ori Rottenstreich, Ronen Tamari, and David Yakira. 2018. Helix: A Scalable and Fair Consensus Algorithm Resistant to Ordering Manipulation. Cryptology ePrint Archiv… [cited by applicant]
Christian Badertscher, Peter Gai, Aggelos Kiayias, Alexander Russell, and Vassilis Zikas. 2018. Ouroboros Genesis: Composable Proof-of-Stake Blockchains with Dynamic Availability. In Proceedings of the 2018 ACM SIGSAC C… [cited by applicant]
Anja Becker, Jean-Sébastien Coron, and Antoine Joux. 2011. Improved Generic Algorithms for Hard Knapsacks. In Advances in Cryptology—EUROCRYPT 2011, Kenneth G. Paterson (Ed.). Springer Berlin Heidelberg, 364-385. [cited by applicant]
Anja Becker, Léo Ducas, Nicolas Gama, and Thijs Laarhoven. 2016. New Directions in Nearest Neighbor Searching with Applications to Lattice Sieving. In Proceedings of the Twenty-seventh Annual ACM-SIAM Symposium on Discr… [cited by applicant]
Rouzbeh Behnia, Muslum Ozgur Ozmen, Attila A. Yavuz, and Mike Rosulek. 2018. TACHYON: Fast Signatures from Compact Knapsack. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security (CCS … [cited by applicant]
Alex Biryukov and Dmitry Khovratovich. 2017. Equihash: Asymmetric proof-of-work based on the generalized birthday problem. Ledger 2 (2017), 1-30. [cited by applicant]
Johannes Buchmann, Richard Lindner, and Markus Rückert. 2008. Explicit Hard Instances of the Shortest Vector Problem. In Post-Quantum Cryptography, Johannes Buchmann and Jintai Ding (Eds.). Springer Berlin Heidelberg, 7… [cited by applicant]
Brad Chase and Ethan MacBrough. 2018. Analysis of the XRP Ledger Consensus Protocol. CoRR abs/1802.07242 (2018). arXiv:1802.07242 http://arxiv.org/abs/1802.07242. [cited by applicant]
Lin Chen, Lei Xu, Nolan Shah, Zhimin Gao, Yang Lu, and Weidong Shi. 2017. On Security Analysis of Proof-of-Elapsed-Time (PoET). In Stabilization, Safety, and Security of Distributed Systems, Paul Spirakis and Philippas … [cited by applicant]
Matthijs J. Coster, Antoine Joux, Brian A. LaMacchia, Andrew M. Odlyzko, Claus-Peter Schnorr, and Jacques Stern. 1992. Improved low-density subset sum algorithms. computational complexity 2, 2 (Jun. 1, 1992), 111-128. h… [cited by applicant]
Phil Daian, Rafael Pass, and Elaine Shi. 2016. Snow White: Provably Secure Proofs of Stake. Cryptology ePrint Archive, Report 2016/919. (2016). https://eprint.iacr.org/2016/919. [cited by applicant]
Jintai Ding. 2019. A New Proof of Work for Blockchain Based on Random Multivariate Quadratic Equations. In Applied Cryptography and Network Security Workshops, Jianying Zhou, Robert Deng, Zhou Li, Suryadipta Majumdar, W… [cited by applicant]
Léo Ducas. 2018. Shortest Vector from Lattice Sieving: A Few Dimensions for Free. In Advances in Cryptology—EUROCRYPT 2018, Jesper Buus Nielsen and Vincent Rijmen (Eds.). Springer International Publishing, Cham, 125-145. [cited by applicant]
Leo Ducas, Eike Kiltz, Tancrede Lepoint, Vadim Lyubashevsky, Peter Schwabe, Gregor Seiler, and Damien Stehle. 2018. CRYSTALSDilithium: A Lattice-Based Digital Signature Scheme. IACR Transactions on Cryptographic Hardwar… [cited by applicant]
P. Dunphy and F. A. P. Petitcolas. 2018. A First Look at Identity Management Schemes on the Blockchain. IEEE Security Privacy 16, 4 (Jul. 2018), 20-29. https://doi.org/10.1109/MSP.2018.3111247. [cited by applicant]
Pierre-Alain Fouque, Jeffrey Hoffstein, Paul Kirchner, Vadim Lyubashevsky, Thomas Pornin, Thomas Prest, Thomas Ricosset, Gregor Seiler, William Whyte, and Zhenfei Zhang. 2018. Falcon: Fast-Fourier lattice-based compact … [cited by applicant]
Nicolas Gama, Phong Q. Nguyen, and Oded Regev. 2010. Lattice Enumeration Using Extreme Pruning. In Advances in Cryptology—EUROCRYPT 2010, Henri Gilbert (Ed.). Springer Berlin Heidelberg, 257-278. [cited by applicant]
Arthur Gervais, Ghassan O. Karame, Karl Wüst, Vasileios Glykantzis, Hubert Ritzdorf, and Srdjan Capkun. 2016. On the Security and Performance of Proof of Work Blockchains. In Proceedings of the 2016 ACM SIGSAC Conferenc… [cited by applicant]
Yossi Gilad, Rotem Hemo, Silvio Micali, Georgios Vlachos, and Nickolai Zeldovich. 2017. Algorand: Scaling Byzantine Agreements for Cryptocurrencies. In Proceedings of the 26th Symposium on Operating Systems Principles (… [cited by applicant]
Lov K. Grover. 1996. A Fast Quantum Mechanical Algorithm for Database Search. In Proceedings of the Twenty-eighth Annual ACM Symposium on Theory of Computing (STOC '96). ACM, New York, NY, USA, 212-219. https://doi.org/… [cited by applicant]
Marcella Hastings, Nadia Heninger, and EricWustrow. 2018. The Proof is in the Pudding: Proofs of Work for Solving Discrete Logarithms. Cryptology ePrint Archive, Report 2018/939. (2018). https://eprint.iacr.org/2018/939. [cited by applicant]
Jeffrey Hoffstein, Jill Pipher, and J.H. Silverman. 2008. An Introduction to Mathematical Cryptography (1 ed.). Springer Publishing Company, Incorporated. Book summary. [cited by applicant]
Ori Jacobovitz. 2016. Blockchain for identity management. The Lynne and William Frankel Center for Computer Science Department of Computer Science. Ben-Gurion University, Beer Sheva (2016). [cited by applicant]
Aggelos Kiayias, Alexander Russell, Bernardo David, and Roman Oliynykov. 2017. Ouroboros: A Provably Secure Proof-of-Stake Blockchain Protocol. In Advances in Cryptology—CRYPTO 2017, Jonathan Katz and Hovav Shacham (Eds… [cited by applicant]
Sunny King and Scott Nadal. 2012. Ppcoin: Peer-to-peer cryptocurrency with proof-of-stake. self-published paper, Aug. 19 (2012). [cited by applicant]
Po-Chun Kuo, Michael Schneider, Özgür Dagdelen, Jan Reichelt, Johannes Buchmann, Chen-Mou Cheng, and Bo-Yin Yang. 2011. Extreme Enumeration on GPU and in Clouds. In Cryptographic Hardware and Embedded Systems—CHES 2011,… [cited by applicant]
Thijs Laarhoven. 2015. Search problems in cryptography. Ph.D. Dissertation. Eindhoven University of Technology. [cited by applicant]
Thijs Laarhoven and Artur Mariano. 2018. Progressive Lattice Sieving. In Post-Quantum Cryptography, Tanja Lange and Rainer Steinwandt (Eds.). Springer International Publishing, Cham, 292-311. [cited by applicant]
Daniel Larimer. 2014. Delegated proof-of-stake (dpos). (2014). [cited by applicant]
Wenting Li, Sébastien Andreina, Jens-Matthias Bohli, and Ghassan Karame. 2017. Securing Proof-of-Stake Blockchain Protocols. In Data Privacy Management, Cryptocurrencies and Blockchain Technology, Joaquin Garcia-Alfaro,… [cited by applicant]
Steve Mansfield-Devine. 2017. Beyond Bitcoin: using blockchain technology to provide assurance in the commercial world. Computer Fraud & Security 2017, 5 (2017), 14-18. http://www.sciencedirect.com/science/article/pii/S… [cited by applicant]
Satoshi Nakamoto. 2008. Bitcoin: A peer-to-peer electronic cash system. https://bitcoin.org/bitcoin.pdf. (2008). [cited by applicant]
NIST. 2019. PQC Standardization Process: Second Round Candidate Announcement. https://csrc.nist.gov/News/2019/pqc-standardization-process-2nd-round-candidates. (2019). Last Accessed on Nov. 17, 2019. [cited by applicant]
Committee on National Security Systems. 2015. Use of Public Standards for the Secure Sharing of Information Among National Security Systems. (2015). [cited by applicant]
C. Peikert. 2016. A Decade of Lattice Cryptography. now. https://ieeexplore.ieee.org/document/8187288. [cited by applicant]
Brandon Rodenburg and Stephen P Pappas. 2017. Blockchain and quantum computing. MITRE Technical Report (2017). [cited by applicant]
Peter W. Shor. 1999. Polynomial-Time Algorithms for Prime Factorization and Discrete Logarithms on a Quantum Computer. SIAM Rev. 41, 2 (1999), 303-332. [cited by applicant]
P. Waterland and J. P. Lomas. 2017. QRL Proof-of-Stake Algorithm. Technical Report. [cited by applicant]
Gavin Wood. 2014. Ethereum: A secure decentralised generalised transaction ledger. Ethereum project yellow paper 151 (2014), 1-32. [cited by applicant]
Z. Zheng, S. Xie, H. Dai, X. Chen, and H. Wang. 2017. An Overview of Blockchain Technology: Architecture, Consensus, and Future Trends. In 2017 IEEE International Congress on Big Data (BigData Congress). 557-564. https:… [cited by applicant]
Cited By (1)
US 12,627,478