5 posts in category “Security”.
A note on Symbolic Software's technical review of Telegram's MTProto protocol, made public in 2026 through litigation. Covers the auth_key_id tracking vulnerability, the empirical case against Telegram's 'changes regularly' rebuttal, the editorial independence terms of the engagement, and how the document entered the public record.
13 min readWe've updated Noise Explorer to address two bugs in generated Rust and WebAssembly implementations of Noise Protocol Framework handshake patterns.
2 min readOur initial audit of the Rust implementation of dWallet Labs' 2PC-MPC protocol.
2 min readWe've updated Kyber-K2SO to address a variable timing logic issue.
3 min readOur extensive audit for the Native Labs smart contracts.
2 min read