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 2 months ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆40Updated last week
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 6 months ago
- 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 ink! smart contract developers and auditors detect common security issues and …☆60Updated 11 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☆172Updated 3 months ago
- A trustless P2P fiat onramp powered by ZK proofs.☆316Updated 5 months ago
- Full WASM Secure Threshold Signature ECDSA Library☆36Updated 2 years ago
- Building blocks of a Circle STARK verifier in Bitcoin script☆158Updated 3 weeks ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆328Updated 7 months ago
- Wake is a Python-based Solidity development and fuzz testing framework with built-in vulnerability detectors for building secure Ethereum…☆335Updated this week
- Query language to interact with EVM chains☆85Updated 9 months ago
- A resource for anyone interested in understanding and unlocking the potential of zk-SNARKs, from beginners to experts.☆649Updated last year
- ☆350Updated 3 months ago
- Generate tests based on the Branching Tree Technique.☆338Updated last month
- A community-maintained collection of bugs, vulnerabilities, and exploits in apps using ZK crypto.☆695Updated 11 months ago
- Solarity Solidity Library☆381Updated this week
- Reproduce ZKP vulnerabilities☆272Updated last week
- Fifth cohort of Ethereum Protocol Fellowship☆92Updated 7 months ago
- ☆69Updated 2 years ago
- Collection of security reviews of ZK Protocols☆236Updated 11 months ago
- Solidity Package Manager written in rust and integrated into Foundry (forge soldeer ...)☆369Updated this week
- All discourse, papers, eth research posts, blogs and talks around current day ethereum research and future directions☆134Updated last year
- This is the markdown for the ZK Book☆105Updated this week
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆236Updated 5 months ago
- Blazingly fast, modular and contributor friendly Solidity compiler, written in Rust☆486Updated last week
- Tornado Cash as a foundry project, using latest versions of tools such as Circom, snarkJS, etc.☆245Updated 11 months ago
- This repository contains list of resources to aid your journey of mastering Zero Knowledge Proofs. If you find any resource missing, you …☆253Updated 7 months ago