crytic / amarna-action
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
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- ☆39Updated 2 years ago
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- Cairo hooks for pre-commit☆17Updated 2 years ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Updated last year
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Generic Vector library for Solidity☆27Updated 3 years ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- Blog☆22Updated last year
- A graph library written in Cairo☆24Updated 2 years ago
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆16Updated last year
- Forkable template to get you started with Starknet Foundry's Forge☆15Updated last year
- Write tests in cairo-lang☆29Updated 2 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Updated 6 months ago
- The repository for high quality Trusted setups for groth16 based SNARKS☆21Updated 3 weeks ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- A naive bloom filter implementation in Cairo☆37Updated 2 years ago
- Prompt for GPT-4 to migrate Cairo 0 to Cairo 1☆23Updated last year
- ☆28Updated last year
- ☆31Updated 2 years ago
- ERC4337-based social recovery wallet with Noir zk-ecdsa☆21Updated last year
- BigInt library for Aztec's noir language☆32Updated last year
- WadRay library for Cairo and Starknet☆21Updated 5 months ago
- ☆18Updated 2 years ago
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Updated 2 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 3 years ago