CoinFabrik / coinfabrik-audit-reports
A list of public audit reports conducted by the CoinFabrik team.
☆21Updated 2 weeks ago
Alternatives and similar repositories for coinfabrik-audit-reports:
Users that are interested in coinfabrik-audit-reports are comparing it to the libraries listed below
- Soroban Smart Contract examples security reviewed by Scout and manual auditors☆26Updated 10 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 smart contract developers and auditors detect common security issues and devia…☆23Updated 3 weeks ago
- Stacy is an extensible open-source tool intended to assist developers and auditors of the Stacks ecosystem detect common issues in Clarit…☆27Updated 8 months ago
- Scout is an extensible open-source tool intended to assist Stellar Soroban smart contract developers and auditors detect common security …☆41Updated 4 months ago
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Scout is an extensible open-source tool intended to assist ink! smart contract developers and auditors detect common security issues and …☆57Updated 3 months ago
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆41Updated 5 months ago
- Full WASM Secure Threshold Signature ECDSA Library☆33Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 3 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆287Updated 3 months ago
- The ultimate TypeScript environment for Circom development☆83Updated last week
- This is the markdown for the ZK Book☆93Updated 2 months ago
- My work for Rareskills ZK Book.☆48Updated last year
- Introduction to various ZK languages☆59Updated 4 months ago
- Certora tutorials☆25Updated last month
- The registry with Distributed Lab papers☆42Updated 2 weeks ago
- A curated list of ZK and Maths resources☆47Updated last year
- MoonMath Manual notes, exercise solution and extra comments.☆28Updated 9 months ago
- Roadmap to get up to speed with CosmWasm smart contract audits and security vulnerabilities☆82Updated 9 months ago
- ☆65Updated last year
- ☆34Updated 2 months ago
- A course on Halo2 in collaboration with Zircuit☆22Updated 2 months ago
- ☆164Updated last month
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆30Updated 5 months ago
- Collection of web3 resources for blockchain enthusiasts. Contains some major alpha on ZKP, Solidity & auditing.☆148Updated last year
- basic circom project using hardhat-circom (upgrade to circom2 is WIP)☆129Updated last year
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated 2 weeks ago
- ZK Email in Noir☆62Updated last week