🔥 We're grateful to those joining us to research such a unique and comprehensive topic as DAO.

Now, let's delve even deeper! In the second part, Andrew Lyashin, co-founder of Pruvendo and an expert in formal verification and formalization, will explore the need for formalization and verification in social choice and election voting methods.

The speaker discusses the importance of formalizing the basics of voting systems and using a strict and logically based framework to verify their consistency. Why is it so crucial for further research?

👀 https://www.youtube.com/watch?v=042tnM3AZ_s