Search Results

1match found for «verification of smart contracts»

Exaion, EDF group subsidiary, becomes a Tezos baker

The protocol's on-chain governance system, its consensus algorithm based on Proof-of-Stake (PoS), and its ability to facilitate formal verification of smart contracts, make Tezos an ideal long-term solution for high-value financial applications .. About Nomadic Labs.

  2. Exaion
  3. News

Enter your text :
Back to top