What services does Sec3 offer?

According to its public information, Sec3 offers: Audit.

Which blockchains does Sec3 work with?

Sec3 works with Solana and TON.

Which smart contract languages does Sec3 use?

Sec3 works with Rust and Solidity.

Is Sec3 verified on smart-contract.com?

Not yet. This listing was compiled from public information and Sec3 has not claimed it or gone through the vetting process of smart-contract.com.

How can I get a quote from Sec3?

Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.

Vendor

Sec3

Solana security firm offering audits, formal verification and post-deployment monitoring

Public information

About

Sec3 is a blockchain security firm focused on protecting Solana protocols, combining academic research with competitive security experience. Its services include security audits based on manual code review with post-deployment monitoring, formal verification to prove protocol invariants mathematically, and SecLaunch, an end-to-end offer that follows a project from initial design and development through to post-deployment monitoring. The team also provides security reviews and support for its free tools. Sec3 maintains open source tooling for the Solana ecosystem, including the X-Ray static analysis tool and IDL Guesser, which recovers instruction layouts from closed-source Solana programs, and it runs a free nonce and multisig monitoring service. It publishes an annual review of the Solana ecosystem. Its public reports are listed on its website and hosted in a GitHub repository once clients authorise disclosure; recent reports cover Solana programs written in Rust, with some Solidity reviews and earlier work on TON and other ecosystems. Audit, formal verification and security support requests go through a contact form and email address.

At a glance

Audits Solana programs with manual code review
Offers formal verification of protocol invariants
Maintains the open-source X-Ray static analyser and IDL Guesser
Runs a free nonce and multisig monitoring service
Hosts authorised audit reports in a public GitHub repository

Services: Audit
Blockchains: Solana
TON
Languages: Rust, Solidity
Website: sec3.dev(opens in a new tab)
Public audit reports: github.com(opens in a new tab)

Sec3: frequently asked questions

What services does Sec3 offer?: According to its public information, Sec3 offers: Audit.
Which blockchains does Sec3 work with?: Sec3 works with Solana and TON.
Which smart contract languages does Sec3 use?: Sec3 works with Rust and Solidity.
Is Sec3 verified on smart-contract.com?: Not yet. This listing was compiled from public information and Sec3 has not claimed it or gone through the vetting process of smart-contract.com.
How can I get a quote from Sec3?: Describe your project once on smart-contract.com: you receive comparable quotes from vendors that match it, in the same format. Development and audit are always entrusted to two independent companies.

Where this information comes from

This listing was compiled from the public pages below and last reviewed on September 24, 2026. The company has not claimed it yet, is not a partner of smart-contract.com and has not been vetted.

Describe your project once. Compare with confidence.

Get comparable quotes from vetted developers, then secure your code with an independent auditor.

Get quotes

Free for clients. No commitment.