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 8 months ago
Alternatives and similar repositories for stacy:
Users that are interested in stacy 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…☆23Updated 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 Stellar Soroban smart contract developers and auditors detect common security …☆41Updated 4 months ago
- A list of public audit reports conducted by the CoinFabrik team.☆21Updated 2 weeks 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
- Full WASM Secure Threshold Signature ECDSA Library☆33Updated last year
- WebSocket Manager that facilitates secure communication between parties for multi party computation applications.☆11Updated last year
- Query language to interact with EVM chains☆76Updated 2 months ago
- The ultimate TypeScript environment for Circom development☆83Updated last week
- Circom arithmetic circuits and concepts explained, in depth.☆26Updated 3 months ago
- Private multisig with hidden owners☆235Updated last year
- Terraform for web3. The ultimate companion for Anchor, Clarinet, Foundry and Hardhat. Assist developers performing reproducible deploymen…☆85Updated last week
- This repo introduces Plonky3 and showcases a simple implementation of fibonacci constraints and execution trace.☆30Updated 5 months ago
- A collection of informal and practical definitions for common jargon found in the zero-knowledge literature.☆99Updated last month
- Building blocks of a Circle STARK verifier in Bitcoin script☆150Updated last week
- A Cryptographic Library for Smooth Blockchain uses☆71Updated 3 months ago
- Kinexys Self Sovereign Identity SDK☆31Updated 4 months ago
- Playing with zero-knowledge proof languages☆105Updated 2 years ago
- ☆58Updated 2 months ago
- The one DAO to rule them all. A modular DAO written in Clarity for the Stacks blockchain.☆46Updated 2 years ago
- ☆65Updated last year
- A course on Halo2 in collaboration with Zircuit☆22Updated 2 months ago
- Verifying biometric passports with zero knowledge proofs (SNARKs)☆74Updated last month
- Docs and utils for the Zero-knowledge state bridge from Mina to Ethereum☆91Updated 2 weeks ago
- Taprootized Atomic Swaps (TAS) is an extension for Atomic Swaps that presumes the untraceability of transactions related to a particular …☆63Updated 3 weeks ago
- zk-SNARK WASM circuit compiler☆15Updated 5 months ago
- Solutions to exercises from MoonMath Manual to zkSNARKs.☆77Updated 3 months ago
- Introduction to various ZK languages☆59Updated 4 months ago