nadim@infosec.exchange ("Nadim Kobeissi") wrote:
🚨 New very cool public cryptography audit!
I'm very excited about this one. Big collaboration between Symbolic Software and 3MI Labs to audit a novel threshold ECDSA protocol by dWallet Labs geared towards MPC.
We conducted a functional correctness assessment, tying the paper to the specification. Our assessment provides higher assurance for code correlation to spec and acts as groundwork for future engineering.
We also security assessment which identified a small number of security vulnerabilities, including a critical nonce reuse vulnerability in the protocol's presigning step. Findings were shared with dWalletLabs and addressed prior to publication.
Read more and download the full audit report: https://symbolic.software/blog/2024-06-04-2pcmpc/