Offchain Labs engaged Trail of Bits to audit the work they did implementing the election system.
The audit report can be viewed in Offchain Labs - Security Council Elections - Summary Report.pdf - Google Drive
2 Likes