The Beneficial AI Foundation asks: "Can we prove that Signal's cryptography is secure ā not just on paper, but in actual code?" Signal Shot, launched today, aims to find out. Open to contributions.
š beneficialaifoundation.org/blog/signal-shot
#leanlang #leanprover #softwareverification
We have launched a public challenge, to show people that verifying key components of a major application like Signal is doable today with existing tools. This is a similar effort to the Liquid Tensor...
