crytic / amarna-actionLinks
Github action for the Amarna static analyzer
☆9Updated 2 years ago
Alternatives and similar repositories for amarna-action
Users that are interested in amarna-action are comparing it to the libraries listed below
Sorting:
- ☆40Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Blog☆22Updated last year
- Cairo hooks for pre-commit☆17Updated 3 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 3 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation☆26Updated last year
- Learn Cairo and StarkNet Smart Contract programming with example code☆22Updated 2 years ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- A naive bloom filter implementation in Cairo☆37Updated 3 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 10 months ago
- P256 (a.k.a. secp256r1 elliptic curve) signature verification 🐍Vyper contract.☆19Updated this week
- Plonk verifier in solidity (using Commit api)☆22Updated 11 months ago
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Updated last year
- ☆24Updated 2 years ago
- standardized framework to simulate governance proposals with forge☆57Updated 2 years ago
- ☆28Updated 2 years ago
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- ☆22Updated 2 years ago
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆36Updated last year
- Infinitely Compressible Governance using Recursive SNARKs☆31Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- WadRay library for Cairo and Starknet☆20Updated last month
- Automates the verification of Solidity tests written using BTT technique☆18Updated 8 months ago
- Solidity verifier for Plonk☆42Updated 9 months ago
- A curated list of resources on zkECDSA☆36Updated last year
- Plugin for Nile to deploy and manage upgradeable contracts on StarkNet.☆10Updated last year