CoinFabrik / stacyLinks
Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.
☆29Updated last year
Alternatives and similar repositories for stacy
Users that are interested in stacy are comparing it to the libraries listed below
Sorting:
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆28Updated last year
- A list of public audit reports conducted by the CoinFabrik team.☆22Updated 4 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆44Updated this week
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆43Updated last year
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 9 months ago
- Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…☆344Updated this week
- Using mutations to improve specs and test suites☆203Updated 8 months ago
- Titanoboa-based vyper smart contract development framework☆177Updated 3 weeks ago
- Query language to interact with EVM chains☆85Updated last year
- Generate tests based on the Branching Tree Technique.☆342Updated 3 weeks ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆275Updated last week
- ☆136Updated 5 months ago
- Mutation Testing for Ethereum Smart Contracts☆206Updated 2 years ago
- Collection of public security reviews☆221Updated 3 weeks ago
- A trustless P2P fiat onramp powered by ZK proofs.☆331Updated 7 months ago
- A tool for analyzing the security and parameters of a solidity smart contract☆789Updated 11 months ago
- Solidity compiler tooling by @NomicFoundation☆277Updated this week
- ☆142Updated 9 months ago
- ZK proofs for responsible vulnerability disclosure on EVM.☆237Updated last week
- A 6-part series on how to use Echidna on real-world codebases☆111Updated 2 years ago
- This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you …☆266Updated 10 months ago
- Practical tutorials of Certora Prover☆241Updated 2 years ago
- State-of-the-art, highly opinionated, hyper-optimised, and secure 🐍Vyper smart contract building blocks.☆581Updated last week
- Formal methods training program with an emphasis on software in the blockchain & decentralized financed (DeFi) industry☆167Updated 3 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆335Updated 10 months ago
- Overview of the formal verification projects in the Ethereum ecosystem.☆336Updated 10 months ago
- This Bash script calculates the Safe transaction hashes by retrieving transaction details from the Safe transaction service API and compu…☆400Updated 2 months ago
- ☆228Updated 2 years ago
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash☆287Updated last month
- ☆143Updated 3 weeks ago