Home Weekly meetups Free TON Weekly Meetup #6. Formal Verification.

Free TON Weekly Meetup #6. Formal Verification.

by lerika

Today, June 9, the sixth weekly meetup of Free TON representatives took place. It was attended by Mitya Goroshevsky, Roman D., Brandon Dillan, Ron Millow, as well as representatives of the Free TON project in Korea.

As part of the meetup, there was a presentation of the Pruvendo team, with which TON.Labs have been cooperating for about a year. Pruvendo representatives Andrey Lyashin and Sergey Egorov joined the Free TON team to present the Formal Verification.
Bugs in the code can cost a fortune to blockchain projects, leading to investor dissatisfaction and withdrawal of investments. Formal Verification is a solution that is based on mathematical algorithms and is compatible with most smart contract programming languages. This is a kind of code validation that allows you to identify errors and inform administrators about it before the application crashes.

Further, representatives of the Free TON project in Korea proposed to hold a competition to translate technical documentation into various languages, starting with Korean, so that people in his country could also learn about the benefits of the Free TON blockchain.

After that, one of the Free TON team members, Nikita Chaika, proposed to release branded T-shirts with Free TON symbols to further popularize the project. He also proposed to develop the design of banners and posters for subsequent placement in online and offline media.

You may also like

Leave a Comment