Search Results

1 résultat trouvé pour « 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.

  1. Edf.fr
  2. Exaion
  3. News

Enter your text :
Back to top