CoinFabrik / stacy
Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarity smart contracts.
☆27Updated 2 months ago
Related projects: ⓘ
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆25Updated 3 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆35Updated last week
- A list of public audit reports conducted by the CoinFabrik team.☆19Updated 3 weeks ago
- Scout is an extensible open-source tool intended to assist smart contract developers and auditors detect common security issues and devia…☆16Updated 2 months ago
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆54Updated last week
- Full WASM Secure Threshold Signature ECDSA Library☆29Updated last year
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- A trustless P2P fiat onramp powered by ZK proofs.☆264Updated this week
- A smart contract wallet controlled using email☆129Updated 2 weeks ago
- Cryptographic Primitives for Blockchain Systems (solidity, cairo, C and rust)☆123Updated 3 weeks ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆261Updated last week
- ☆127Updated 4 months ago
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- zero knowledge for those with zero knowledge☆103Updated last year
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- A mutation testing tool for Solidity Smart Contracts☆73Updated 5 months ago
- A guidebook to the bleeding edge of research topics in the Ethereum R&D Discord.☆109Updated 3 months ago
- A monorepo of reusable libraries for zero-knowledge technologies.☆281Updated this week
- A TypeScript package providing a normalized typed Solidity AST along with the utilities necessary to generate the AST (from Solc) and tra…☆124Updated this week
- ☆160Updated 2 years ago
- Collection of public security reviews☆139Updated 2 weeks ago
- Learning Cryptography in Public☆171Updated last year
- Foundry tools for testing with Gnosis Safes☆137Updated 10 months ago
- Mutation Testing for Ethereum Smart Contracts☆202Updated 10 months ago
- This is the markdown for the ZK Book☆60Updated last week
- P256 signature verification solidity contract☆170Updated last month
- ☆225Updated 3 months ago
- knowledge base of ZKP including applications, hardware, technical discussions and more.☆115Updated last year
- The Ethereum Rollup Improvement Proposal repository☆95Updated last month
- ☆58Updated 2 months ago