Formal Specification ↔ Implementation Co-design
ConfidenceCertainUpdated2026-05-26Review by2026-09-22Sources2Machine-translatedOriginal (JA)
Wiki route
This entry sits under systems index. Read it against Threshold BFT consensus Rust implementation trend for peer / contrast context and fintech index for the broader system / regulatory boundary.
Related
- Wiki Index
- Threshold BFT consensus Rust implementation trend
- DAG vs Chain BFT
- Economics of day-1 integration for quantum-resistant signatures
Sources
- Quint — TLA-based executable specification language（model-based testing / co-design）— https://github.com/informalsystems/quint
- Malachite — Flexible BFT consensus engine in Rust（target of specification ↔ implementation co-design）— https://github.com/informalsystems/malachite
#systems#formal-methods#consensus#tla#quint#malachite
Discovery
Keep reading
Read next
- Hook-Enforced Compliancedeployment ≠ working. Even if a Hook is placed, whether it actually fires is a separate issue.
- Hyperlane Interchain Security Modules (ISM) · Pluggable Verification LayerThe modularisation of ISMs was a core design at the time of the Hyperlane 2022 年 rename —— the team recognised that a "one-size-fits-all cross-chain security model" could not meet the requir...
- Hyperlane Overview · Permissionless Cross-chain InteroperabilityCross-chain messaging (arbitrary message passing, AMP) is the mainstream abstraction for inter-chain interoperability of 2024-2026 年. Differences in how the major protocols position themselv...
Links here
- bitFlyer BlockchainbitFlyer Blockchain is the enterprise blockchain arm around bitFlyer's proprietary private-chain technology, Miyabi. In FinWiki it should be treated as a systems / enterprise DLT node, not a...
- Cross-chain bridge security and insurance matrix 2026 · full view of 14 protocols' trust model / hack history / coverageCross-chain bridges are the single largest source of losses in the 2021-2024 crypto ecosystem — cumulative damage ≥ $2.7B · far above total CEX hacks. A critical gate before institutional mo...
- ZK-EVM Rollup Maturity Comparison Matrix 2026 · proving system / TVL / DA / decentralization across 9 rollupsAfter ZK-EVM rollups went live on mainnet intensively in 2023-2025 年· they evolved from a "technical-route war" into a multi-objective optimization space of "EVM equivalence vs proving cost...