Skip to main content
Log in

Implementation of real estate contract system using zero knowledge proof algorithm based blockchain

  • Published:
The Journal of Supercomputing Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10

Similar content being viewed by others

References

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

    Article  Google Scholar 

  6. 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

  7. Bowe S, Grigg J, Hopwood D (2019) Halo: recursive proof composition without a trusted setup. https://eprint.iacr.org/2019/1021.pdf

  8. 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

  9. 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

    MATH  Google Scholar 

  10. 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

    MATH  Google Scholar 

  11. Agrawal S, Ganesh C, Mohassel P (2018) Noninteractive zero-knowledge proofs for composite statements. In: Annual International Cryptology Conference, pp 643–673

  12. 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

  13. 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

  14. 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

  15. 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

  16. 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

  17. 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

    Article  Google Scholar 

Download references

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

Authors

Corresponding author

Correspondence to Byeongtae Ahn.

Additional information

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11227-021-03728-1

Keywords

Navigation