CoinFabrik / scout-soroban-examples
Soroban Smart Contract examples security reviewed by Scout and manual auditors
☆26Updated 10 months ago
Alternatives and similar repositories for scout-soroban-examples:
Users that are interested in scout-soroban-examples are comparing it to the libraries listed below
- 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
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 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
- This repository contains CoinFabrik's ongoing research and development to extend CodeQL support to the Solidity smart contract language. …☆41Updated 5 months ago
- 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
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Full WASM Secure Threshold Signature ECDSA Library☆33Updated last year
- The ultimate TypeScript environment for Circom development☆83Updated last week
- Stellar on Metamask☆7Updated 2 months ago
- My work for Rareskills ZK Book.☆48Updated last year
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- The registry with Distributed Lab papers☆42Updated 2 weeks ago
- A course on Halo2 in collaboration with Zircuit☆22Updated 2 months ago
- Exercises to learn the syntax of Circom and create EVM compatible zero knowledge programs.☆287Updated 3 months ago
- Query language to interact with EVM chains☆76Updated 2 months ago
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆30Updated 5 months ago
- Private multisig with hidden owners☆235Updated last year
- ☆77Updated last week
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆99Updated last month
- The Zero Knowledge Whitelist Tool is a powerful utility for managing an address whitelist using Zero-Knowledge (ZK) proofs.☆10Updated last year
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 3 months ago
- Circom arithmetic circuits and concepts explained, in depth.☆26Updated 3 months ago
- Examples for signing and executing transactions across multiple blockchain protocols from one NEAR account.☆31Updated this week
- A curated list of ZK and Maths resources☆47Updated last year
- Template for integrating RISC Zero and Ethereum using Foundry☆122Updated last week
- 📖 A curated list of resources dedicated to Modular Smart Accounts☆72Updated 7 months ago
- ☆65Updated last year
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆74Updated last month