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.
☆28Updated 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 last month
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 5 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆43Updated 11 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆36Updated this week
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆60Updated 10 months ago
- The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains…☆246Updated last week
- Overview of the formal verification projects in the Ethereum ecosystem.☆335Updated 7 months ago
- Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…☆330Updated this week
- Scribble instrumentation tool☆330Updated 6 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆234Updated 4 months ago
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆51Updated last year
- Titanoboa-based vyper smart contract development framework☆165Updated 2 months ago
- Symbolic and concrete EVM execution engine☆313Updated this week
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆323Updated 6 months ago
- Solarity Solidity Library☆376Updated last week
- Generate tests based on the Branching Tree Technique.☆338Updated 2 weeks ago
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆639Updated last year
- Mutation Testing for Ethereum Smart Contracts☆206Updated last year
- A book for learning zero-knowledge applications and decentralized mixing by creating a simple mixer protocol based on Tornado Cash (WIP)☆283Updated 2 years ago
- A tool for analyzing the security and parameters of a solidity smart contract☆787Updated 8 months ago
- Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)☆367Updated 2 weeks ago
- A menagerie of auction mechanisms implemented in Solidity☆354Updated 2 years ago
- A trustless P2P fiat onramp powered by ZK proofs.☆309Updated 4 months ago
- 💸 Write web apps in Solidity — a Solidity web framework / a proof-of-concept implementation of HTTP over Ethereum.☆161Updated 2 years ago
- Query language to interact with EVM chains☆84Updated 8 months ago
- Using mutations to improve specs and test suites☆195Updated 5 months ago
- ERC-7683 - Intents Framework Monorepo☆150Updated 6 months ago
- Parallelized, coverage-guided, mutational Solidity smart contract fuzzing, powered by go-ethereum☆427Updated last week
- Merkle Proof Generator and Validator in Solidity☆487Updated 8 months ago