Search Results for "formal verification"
How This Startup’s Blockchain Technology Applications in Estonia Verifies Online Identities
There are so many problems in the world. I’m sure you can name them. But here is another one: online identity fraud, which is rampant these days. It’s common, threatening everyone doing business online, especially businesses involving their activities in banking/financial services, online payment services, real estate, insurance, travel, and online market industries. Now, let's take a look at how this Estonian startup utilizes blockchain technology to help protect businesses and their clients from online identity fraud.
What is Tezos?
Tezos, a promising new blockchain-based platform for building smart contracts and decentralized applications (dApps).
Tezos Blockchain Chosen for French Digital Euro by Societe Generale-Forge
Societe Generale-Forge has selected the Tezos blockchain for its central bank digital currency (CBDC) experiment with the French central bank.
Brock Pierce Running for President to Bring Blockchain Technology to the Forefront
Speaking at the Unitize conference on July 7, Brock Pierce discussed his motivations for his sudden entrance into the presidential election. Despite being extremely unlikely to win, Pierce believes his campaign will serve as an inspiration to younger voters as well as highlight the benefits of blockchain.