Good Afternoon! Patrick MacKay here from Runtime Verification. We worked with the then Gnosis Safe team (@rimeissner) in 2019 on two different formal verification engagements. Just wanted to know if the DAO is open to receiving proposals for security engagements and in this case specifically related to formal verification. I look forward to hearing from you guys. Kepe up the great work!
1 Like