CoinFabrik / coinfabrik-audit-reports
A list of public audit reports conducted by the CoinFabrik team.
☆19Updated 3 weeks 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 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
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆35Updated last week
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 2 months ago
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆29Updated last year
- This is the markdown for the ZK Book☆60Updated last week
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆63Updated 6 months ago
- A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.☆48Updated 3 weeks ago
- Collection of security reviews of ZK Protocols☆210Updated 3 weeks ago
- ☆29Updated 2 weeks ago
- Hacks/Vulns/Audits Compilation☆154Updated 2 weeks ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆261Updated last week
- A curated list of ZK and Maths resources☆36Updated 8 months ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆63Updated 8 months ago
- Find the version that the project you currently develop or audit uses and quickly check which are the known smart contract security vulne…☆78Updated 9 months ago
- Mutation Testing for Ethereum Smart Contracts, support for Foundry☆112Updated 2 weeks ago
- Solidity Package Manager written in rust☆196Updated this week
- 👃Automatically identify missing or incomplete natspec☆91Updated last month
- Playing with zero-knowledge proof languages☆105Updated last year
- ☆143Updated this week
- Using mutations to improve specs and test suites☆164Updated 2 weeks ago
- All things Uniswap☆159Updated 7 months ago
- This repository contains Zk learning resources☆116Updated 3 weeks ago
- A recreation of capturetheether.com using Solidity 0.8.0 and the foundry environment.☆75Updated 3 weeks ago
- Awesome Ethereum Rust repos☆110Updated this week
- zkPoEX enables white hat hackers to report live vulnerabilities in smart contracts while maintaining the confidentiality of the exploit, …☆203Updated last year
- A DSL for generating optimal EVM bytecode☆179Updated 3 months ago
- A curated collection of tools, frameworks, and methodologies for testing and verifying Solidity smart contracts.☆45Updated last month