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!☆38Nov 11, 2024Updated last year
- The core program of AleoSwap (a decentralized exchange built on the Aleo blockchain)☆34Oct 23, 2023Updated 2 years ago
- ☆108Mar 2, 2026Updated last week
- Hyper-parallel ZK coprocessing.☆17Aug 29, 2025Updated 6 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
- ☆10Aug 16, 2022Updated 3 years ago
- Automated verification of uniqueness property for ZKP circuits☆45Jun 6, 2024Updated last year
- The availability of the government of the United States of America☆142Nov 13, 2025Updated 3 months ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- smart contracts deployed on Ethereum, one per skeleton☆11Mar 10, 2024Updated last year
- 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
- ☆13May 3, 2012Updated 13 years ago
- Module for visualizing Verkle tree proofs☆13Dec 16, 2022Updated 3 years ago
- aleoexplorer☆14Dec 7, 2023Updated 2 years ago
- ☆22Apr 28, 2025Updated 10 months ago
- ☆10Jun 5, 2022Updated 3 years ago
- Script(s) to interact with gp-v2-contracs☆15Jul 31, 2025Updated 7 months ago
- ☆12Apr 1, 2025Updated 11 months ago
- AYY LMAO☆12Aug 27, 2015Updated 10 years 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
- ☆13May 5, 2018Updated 7 years ago
- 🌎 a small server that returns the location of a given IP address☆16Feb 10, 2014Updated 12 years ago
- Tools for manipulating CHC and related files☆15Apr 21, 2023Updated 2 years ago
- PancakeSwap Prediction Bot 🔮☆15Jan 3, 2023Updated 3 years ago
- learning foundry by testing solidity-by-example☆11Mar 18, 2022Updated 3 years ago
- ☆15Feb 11, 2023Updated 3 years ago
- ☆11Nov 27, 2024Updated last year
- Generate CPG for multiple languages for code and threat analysis☆11Sep 22, 2023Updated 2 years ago
- NearAI integration for LangChain☆12Apr 12, 2025Updated 10 months 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
- Schedule for ArtOfSAT☆10Oct 11, 2023Updated 2 years ago
- Check the dependencies of tools-deps-based Clojure projects for vulnerabilities☆13Apr 17, 2019Updated 6 years ago
- Generalised ERC721 Auction House☆12Dec 16, 2021Updated 4 years ago
- Limits asset outflows from contracts within customisable timeframes☆11May 7, 2022Updated 3 years ago
- Raw data for numerical experiments exploring integer factorization on NISQ devices☆10Aug 30, 2018Updated 7 years ago
- Node compatible web3 provider for App Wallets☆10Jan 7, 2023Updated 3 years ago
- Documentation for the Ethereum LLL compiler☆14Jul 15, 2023Updated 2 years ago