Security

Native Labs Smart-Contract Audit

Published
Reading time
1 min read

We audited the Native Labs smart contracts. The review covered gas use and scalability, code quality, internal and third-party integrations, on-chain and off-chain transaction flows, liquidity models, and the contracts’ effects on the user experience.

The complete scope, findings, and recommendations are in the public report.

Download NAT-001 (PDF)

Read more Audit reports, security advisories, software releases, and research from Symbolic Software. RSS GitHub

Related posts

Security

Our Audit of the 4Mica Payment Network

We audited 4Mica's collateral-backed payment network. Its BLS signatures and netting were correct; the serious risks were in settlement and key management.

2 min read
Security

On Our Telegram MTProto Review

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 read