Veridise / vanguard-aleoView external linksLinks
Static analysis toolkit for security analysis in Aleo programs
☆10Mar 29, 2024Updated last year
Alternatives and similar repositories for vanguard-aleo
Users that are interested in vanguard-aleo are comparing it to the libraries listed below
Sorting:
- Curation of DevSecOps tools that all work together inside the minimum amount of containers. Just run make exec and read the How To!☆37Nov 11, 2024Updated last year
- The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)☆34Oct 23, 2023Updated 2 years ago
- ☆89Feb 5, 2026Updated last week
- The availability of the government of the United States of America☆141Nov 13, 2025Updated 3 months ago
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 5 months ago
- ☆38Feb 11, 2022Updated 4 years ago
- AChecker (Access Control Checker) is an automated static analysis tool for detecting access control vulnerabilities in smart contracts.☆38May 2, 2023Updated 2 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- zkSnark circuit compiler☆12Jan 8, 2026Updated last month
- RickRoll your friends like a pro! Just enter a webpage URL and let the magic happen. Every click on the page will send you to the one and…☆11Aug 4, 2024Updated last year
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- ☆10Aug 16, 2022Updated 3 years ago
- Module for visualizing Verkle tree proofs☆13Dec 16, 2022Updated 3 years ago
- Lib for add handlers of Lifecycle your app. Can add logic for method of pause app, resume app, start or close your app.☆14Apr 5, 2023Updated 2 years ago
- ☆12Apr 1, 2025Updated 10 months ago
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- Set up a forge testing env instantly w/ ds-test, solmate + openzeppelin preinstalled.☆10Sep 17, 2022Updated 3 years ago
- ☆13May 5, 2018Updated 7 years ago
- aleoexplorer☆14Dec 7, 2023Updated 2 years ago
- ☆12Jan 13, 2025Updated last year
- ☆22Apr 28, 2025Updated 9 months ago
- Datalog engine based on DuckDB☆10Mar 8, 2023Updated 2 years ago
- Fuzzing solmate with medusa☆10Aug 14, 2023Updated 2 years ago
- DAML library for integration with Ethereum (driven using DAML's Java bindings, web3j, ethereumj and Infura)☆11Dec 5, 2023Updated 2 years ago
- A library for training crosscoders☆15May 28, 2025Updated 8 months ago
- ☆15Feb 11, 2023Updated 3 years ago
- Bidirectional transformation between Yao IR and QASM.☆11Dec 6, 2020Updated 5 years ago
- BioMedIA's poster templates used for conferences☆10Jun 12, 2019Updated 6 years ago
- A model-based API Fuzzer for SMT Solvers.☆14Oct 14, 2025Updated 4 months ago
- NearAI integration for LangChain☆12Apr 12, 2025Updated 10 months ago
- Huawei E3372h source code from http://consumer.huawei.com/en/support/downloads/detail/index.htm?id=56443☆11Nov 3, 2015Updated 10 years ago
- learning foundry by testing solidity-by-example☆11Mar 18, 2022Updated 3 years ago
- General-purpose implementations of ERC-792 Arbitrables.☆12Jun 21, 2024Updated last year
- ☆14Mar 21, 2025Updated 10 months ago
- ☆10Jan 14, 2023Updated 3 years ago
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- Script(s) to interact with gp-v2-contracs☆15Jul 31, 2025Updated 6 months ago
- ☆12Nov 29, 2023Updated 2 years ago
- 👾 monitor web server's log files against CSRF attacks (a modification of apache's mod_security to log these attacks)☆14Oct 15, 2024Updated last year