Abstract
A real estate contract is a high-risk contract with a large amount of money, and there are many problems in the risk and reliability of fraud. In particular, online contracts have low reliability and high risk. If you can manage information on these issues and prevent forgery and duplication of contract information, you can maintain low cost and high efficiency. Blockchain technology is being used as an alternative to the enormous cost and reliability issues associated with offline real estate contracts. When blockchain technology is applied to an online contract management system, reliability and scalability are efficient and confidentiality can be ensured. However, as real estate transactions using blockchain technology increase online, problems arise in scalability. Therefore, in this paper, we implemented an Ethereum-based online real estate contract system that solved the scalability using the zero-knowledge proof algorithm. The real estate contract system enables online contract management and discrimination of contract forgery through blockchain. In particular, it was possible to prevent fraud until the contract was concluded and the contract was terminated.
Similar content being viewed by others
References
Park HS, Chung JW, Kim UM (2017) A study on shared EMR (Electronic Medical Record By BlockChain (Ethereum). In: Proceedings of KIIT Summer Conference, pp 436–437
Ko YS, Choi HS (2017) Changing business paradigm and its application—focused on the block chain technology, Korea Science & Art Forum. 27 https://doi.org/10.17548/ksaf.2017.01.27.13
Ben-Sasson E, Chiesa A, Tromer E, Virza M (2013) Succinct Non-Interactive Zero knowledge for a von neumann architecture. https://eprint.iacr.org/2013/879.pdf
Ben-Sasson E, Chiesa A, Genkin D, Tromer E (2019) Fast reductions from RAMs to delegatablesuccinct constraint satisfaction problems. In: Proceedings of the 4th Innovations in Theoretical Computer Science Conference, ITCS ’13, pp 401–414
Capellán RU, Ollero JS, Pozo AG (2021) The influence of the realestate investment trust in the realestate sector on the Costa del Sol. Eur Res Manag Bus Econ. https://doi.org/10.1016/j.iedeen.2020.10.003
B-Sasson E, Chiesa A, Tromer E, Virza M (2018) Scalable zero knowledge via cycles of elliptic curves (extended version) In: Advances in Cryptology—CRYPTO, 8617
Bowe S, Grigg J, Hopwood D (2019) Halo: recursive proof composition without a trusted setup. https://eprint.iacr.org/2019/1021.pdf
Ben-Sasson E, Chiesa A, Genkin D, Tromer E (2013) Fast reductions from RAMs to delegatablesuccinct constraint satisfaction problems. In: Proceedings of the 4th Innovations in Theoretical Computer Science Conference, ITCS ’13, pp 401–414
Valiant P (2008) Incrementally verifiable computation or proof of knowledge imply time/space efficiency. In: Canetti R (ed) Theory of Cryptography. Springer, Berlin, Heidelberg, pp 1–18
Sasson EB, Chiesa A, Tromer E, Virza M (2014) Scalable zero knowledge via cycles of elliptic curves (extended version). Advances in Cryptology - CRYPTO 79(4):1102–11602
Agrawal S, Ganesh C, Mohassel P (2018) Noninteractive zero-knowledge proofs for composite statements. In: Annual International Cryptology Conference, pp 643–673
Bünz B, Bootle J, Boneh D, Poelstra A, Wuille P, Maxwell G (2018) Bulletproofs: short proofs for confidential transactions and more in Bulletproofs: Short Proofs for Confidential Transactions and More. IEEE, pp 315–334
Katz J, Koilesnikov V, Wang X (2019) Improved non-interactive zero knowledge with applications to post-quantum signatures. University of Maryland and Georgia Tech, pp 525-537
Sah CP, Jha K, Nepal S (2016) Zero-knowledge proofs technique using integer factorization for analyzing robustness in cryptography. In: Proceedings of the 10th INDIACom; INDIACom-2016 3rd International Conference on Computing for Sustainable Global Development, pp 638–642
Jiang S et al (2018) Blochie: a blockchain-based platform for healthcare information exchange. In: 2018 IEEE International Conference on Smart Computing (SMARTCOMP), pp 49–56
He X, Alqahtani S, Gamble R (2018) Toward privacy-assured health insurance claims. In: 2018 IEEE International Conference on Internet of Things (iThings), pp 1634–1641
Rose JD, Snowden KA (2013) The new deal and the origins of the modern American real estate loan contract. Explor Econ Hist 50(4):548–566
Acknowledgement
This study was supported by the Institute for Information & communication Technol-ogy Planning & evaluation grant funded by the Korea Ministry of Science and ICT(No. 2020-0- 00105).
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Jeong, S., Ahn, B. Implementation of real estate contract system using zero knowledge proof algorithm based blockchain. J Supercomput 77, 11881–11893 (2021). https://doi.org/10.1007/s11227-021-03728-1
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11227-021-03728-1