Distributed fusion cross‐chain model and architecture

Yang, Guozheng; Zang, Cheng; Chen, Jiajun; Guo, Dongsheng; Zhang, Jingzhi

doi:10.1049/blc2.12013

Cited by 4 publications

(3 citation statements)

References 33 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Learned from [23][24][25][26], we use the test method to verify the correctness of K-Go by comparing the running results of K-Go with the running results of compilers IntelliJ IDEA. K-Go is correct if the execution behaviours of K-Go for test set are consistent with the IntelliJ IDEA compilers.…”

Section: Semantics Correctnessmentioning

confidence: 99%

K‐Go: An executable formal semantics of Go language in K framework

Zhao

Liu

Hu³

et al. 2023

IET Blockchain

View full text Add to dashboard Cite

Go is a relatively new programming language and has become one of the most important programming languages used widely in blockchain. A formal semantics plays an important role in program synthesis, analysis and verification. The existed formal semantics of Go are not executable and do not cover the core features, hence, this paper presents an executable formal semantics for Go, called K-Go, using rewriting logic in 𝕂 framework to make sure the semantics is both executable and applicable. K-Go includes syntax, configuration and rules and covers the declaration and definition of basic types, basic expression, concurrency, main statement data reading and writing based on channel. K-Go is validated by test set with 100% semantic coverage based on the official test suite. The evaluation experiment shows that K-Go is correct. Using formal semantics of Go language, building Go program synthesis, analysis and verification tools is easy for analyzing more characteristics of Go programs.

show abstract

Section: Semantics Correctnessmentioning

confidence: 99%

K‐Go: An executable formal semantics of Go language in K framework

Zhao

Liu

Hu³

et al. 2023

IET Blockchain

View full text Add to dashboard Cite

show abstract

“…The relay-chain [20] collects the cross-chain requests transmitted by the request chain, parses the request to obtain the target address, queries the block position of the data in the target chain A using the data directory, forwards the request to the target chain, and verifies the data A returned by the target chain; after the validation is passed, the request of target chain A is parsed and data A is passed to the request chain; after the request chain completes the business operation and generates data B, it sends a cross-chain request to the relay-chain again. The relay-chain verifies the validity and authenticity of data B and sends the data to target chain C according to the resolved address; After receiving data B, target chain C stores the data on the chain according to its consensus mechanism, and returns the results of successful linking to the relay-chain.…”

Section: Relay-chainmentioning

confidence: 99%

A research on cross‐chain and interoperation methods of fusion protocol

Ming,

Wenpeng,

Ankai

et al. 2023

IET Blockchain

View full text Add to dashboard Cite

At present, cross‐chain technology and cross‐chain system pay more attention to cross‐chain security and performance, and have shown great improvement in security, scalability and efficiency. However, the generality of cross‐chain technology in different scenarios is poor, and it may not fit in different business fields. In order to solve the generality problem of cross‐chain technology, this paper sorts out and analyzes the research of blockchain cross‐chain protocol, and proposes a fusion protocol cross‐chain method based on relay‐chain technology. This paper will introduce the cross‐chain framework and cross‐chain transaction process of fusion protocol. Cross‐chain framework includes blockchain cross‐chain interaction architecture, cross‐chain interaction governance mechanism and cross‐chain privacy protection scheme. The transaction process is divided into three different stages. Finally, combined with cross‐chain key technologies and landing application requirements, the future research direction of blockchain cross‐chain technology is given. The fusion protocol cross‐chain method based on relay‐chain technology proposed here is a groundbreaking innovation in the field of blockchain cross‐chain technology. By integrating the advantages of different blockchain systems and protocols, the fusion protocol is able to achieve a high degree of generality and compatibility, making it suitable for various business scenarios and applications.

show abstract

“…The cross-chain technology bridges the gap between independent application blockchains to eliminate "information islands" and realize interconnectivity and interoperability across different blockchain networks. In recent years, scholars have provided various feasible solutions to solve cross-chain data interactions [3][4]. A cross-chain network effectively breaks down barriers between institutions and opens pathways to enable data flow and value circulation between application chains.…”

Section: Introductionmentioning

confidence: 99%

A cross-chain model with underlying security and scalability based on quantum algorithm

Wang

Liu

et al. 2023

Preprint

View full text Add to dashboard Cite

As a typical cross-chain technology, the relay chain is widely applied. The transaction security in the cross-chain application of a traditional relay chain depends on the reliability of the relay part, which relies on the autonomous performance of the relay chain. However, this will lead to the risk of trust breach. There are three main security concerns: 1) No security access control for authentication; 2) Consensus transmission depends on the authority of the relay node; 3) Potential security threats from quantum computing attacks. To tackle these issues, a quantum cross-chain model (QCC) is proposed to provide post-quantum security. The QCC offers an access control policy for the global identity of application chains and two-way authentication for the cross-chain network, and a secure solution that deploys a quantum ring signature scheme (QRS) provided with audit and key-loss security for cross-chain transactions, contributing to decentralization, reliability, consensus transmissionand security of the relay chain. From a system security perspective, the security of QCC is enhanced by the underlying cryptographic algorithm--QRS, eliminating under-layer attacks and bringing a stronger guarantee for the security and scalability of upper-layer applications. In addition, the model has the advantage of scalability and supports multi-party transactions.

show abstract

Distributed fusion cross‐chain model and architecture

Cited by 4 publications

References 33 publications

K‐Go: An executable formal semantics of Go language in K framework

K‐Go: An executable formal semantics of Go language in K framework

A research on cross‐chain and interoperation methods of fusion protocol

A cross-chain model with underlying security and scalability based on quantum algorithm

Contact Info

Product

Resources

About