Survey of Consensus Protocol’s Formal Verification
Abstract As blockchain technology is increasingly being applied to various aspects of actual production, higher requirements are being placed on its stability and correctness. As the core logical structure of the blockchain system, the consensus protocol bears the pressure of coordinating, exchangin...
Na minha lista:
| Principais autores: | , |
|---|---|
| Formato: | Artigo |
| Idioma: | Inglês |
| Publicado em: |
SpringerOpen
2026-06-01
|
| Colecção: | Cybersecurity |
| Assuntos: | |
| Acesso em linha: | https://doi.org/10.1186/s42400-025-00501-2 |
| Tags: |
Sem tags, seja o primeiro a adicionar uma tag!
|