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:
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- ☆40Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Binary Tree Operator written in Cairo☆12Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Updated last year
- Learn Cairo and StarkNet Smart Contract programming with example code☆22Updated 2 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆21Updated 2 years ago
- A curated list of resources on zkECDSA☆36Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- ☆28Updated 2 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 3 years ago
- Plonk verifier in solidity (using Commit api)☆22Updated last year
- POCs and In-depth explanation of the logic and math behind common elliptic curve cryptography edge cases and attack vectors☆42Updated 11 months ago
- BigInt library for Aztec's noir language☆32Updated last year
- Prove knowledge of smart contract bugs using zkEVM☆43Updated 9 months ago
- Blog☆22Updated last year
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- A collection of resources relevant to the PSE Security Team.☆12Updated 2 years ago
- ☆31Updated last year
- Incorrect, Breaking, and Footgunned Huff Contracts.☆30Updated 2 years ago
- Cairo hooks for pre-commit☆17Updated 3 years ago
- Generating Fractals on Starknet☆15Updated 3 years ago
- StarkNet smart contract fuzzer☆80Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 3 years ago
- Mutation testing tool for circom☆16Updated last year
- Semgrep rules for Cairo 1.0☆17Updated last year
- ☆29Updated 2 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year