Examples of Solana applications verification with the Certora Prover
☆12Jun 11, 2026Updated 5 months ago
Alternatives and similar repositories for SolanaExamples
Users that are interested in SolanaExamples are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- On-Chain Program for the verification of Solana Programs.☆26Apr 7, 2026Updated 7 months ago
- Certora tutorials☆29Sep 2, 2025Updated last year
- Lints based on the Sealevel Attacks☆48Feb 19, 2026Updated 8 months ago
- Verified builds of Solana ecosystem projects.☆40Mar 31, 2023Updated 3 years ago
- ☆40Jul 13, 2025Updated last year
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Is like jq for Immunefi REST API. Search, filter and map structured data about bug bounty programs with ease.☆35Nov 24, 2025Updated 11 months ago
- ☆13Sep 18, 2024Updated 2 years ago
- The X-Ray Toolchain is an open-source, cross-platform command-line interface (CLI) tool designed for static analysis of Solana programs a…☆57Mar 27, 2026Updated 7 months ago
- Reserve Folio — A protocol for creating permissionless Index Assets☆11Oct 9, 2025Updated last year
- Secure remote signing service for Arc Network using AWS Nitro Enclaves☆18Oct 2, 2026Updated last month
- ☆12Aug 18, 2025Updated last year
- Repository for contracts supporting bridge between Flow <> EVM☆15Aug 25, 2026Updated 2 months ago
- ☆15Jul 2, 2026Updated 4 months ago
- Rust Solana IDL types definitions de/serializable with serde☆18Jul 17, 2024Updated 2 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆11Mar 14, 2025Updated last year
- Certora's Formal Verification and Audit Portfolio – a comprehensive collection of smart contract security verification reports and audits…☆34Aug 24, 2026Updated 2 months ago
- SDKs to interact with the Luzid application.☆12Aug 16, 2024Updated 2 years ago
- Tool of xfuzz, machine learning guided cross-contract fuzzing☆11Aug 21, 2022Updated 4 years ago
- Examples of how to use SVMKit☆13Aug 5, 2025Updated last year
- a sybil-resistant randomized onchain giveaway program☆16Oct 31, 2024Updated 2 years ago
- Rust smart contract for Solana liquidity pools with variable token number.☆14Mar 6, 2023Updated 3 years ago
- Intelligent transport layer for Solana RPCs.☆17Oct 20, 2025Updated last year
- Public Repository of our Audit Reports☆28Sep 15, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆52Jun 30, 2025Updated last year
- 📖 A CLI, TUI and SDK to interact with the OpenBook market on the Solana blockchain (WIP).☆15Jun 17, 2024Updated 2 years ago
- MTX service/client - forwarding TXs from searchers to validators☆16Feb 3, 2025Updated last year
- Discover resources for building Solana Actions and blinks. Use the Inspector to debug your blinks.☆16Jul 17, 2024Updated 2 years ago
- Rust Developer Tools for Solana and Anchor☆17Sep 16, 2024Updated 2 years ago
- Find deadlocks in Rust code with Petri net model checking☆62Updated this week
- Implements AMM trait for Phoenix markets to be compatible with Jupiter Aggregator☆19Aug 23, 2023Updated 3 years ago
- ☆17Feb 10, 2025Updated last year
- AI-powered TON security skills for contracts where asynchronous message flow, bounce handling, and gas semantics are part of the bug surf…☆10Mar 23, 2026Updated 7 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆15May 28, 2026Updated 5 months ago
- A Book on How to do Formal Verification with Certora☆14Nov 7, 2026Updated last week
- Smart contract security researcher — profile README☆19Oct 31, 2026Updated 2 weeks ago
- List of Halmos resources.☆63Feb 14, 2025Updated last year
- Proof system backends for OpenVM.☆40Nov 3, 2026Updated last week
- ☆17Nov 21, 2024Updated last year
- zkVMs vulnerabilities☆16May 4, 2026Updated 6 months ago
Are these results useful?