MGP: $50k for Moloch safety and security and beginners workshop

We’d love to answer any questions and receive feedback on our proposal. We are aiming to do three things:

  1. Rewrite MolochDAO to allow it to be formally verified.
  2. A full audit of the application, and DAOs in general. This will allow us to insert the correct assertions to guarantee the correctness.
  3. Create a workshop/demo that will introduce a traditional developer to blockchain and teach them how to build a DAO.

Link to Proposal: https://docs.google.com/document/d/1g9ypceRsPJEsLHs3EJQBd4NWr8RkuSraejtCrQVVyP0/edit?usp=sharing

Thank you again, and we are looking forward to the feedback.

I wrote this article to help explain the importance of Formal Verification.