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
- A Symbolic Execution Tool for Cairo☆50Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- A curated list of resources on zkECDSA☆36Updated last year
- 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
- one off scripts and contracts☆18Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- Cairo hooks for pre-commit☆17Updated 2 years ago
- BigInt library for Aztec's noir language☆31Updated 11 months ago
- Blog☆22Updated last year
- Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity☆47Updated 2 years ago
- Ultimate Boilerplate for building full stack ZK decentralized application, with Circom, Snarkjs and Nextjs☆46Updated 2 years ago
- Remote Attestation VErification☆31Updated 6 months ago
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆36Updated last year
- standardized framework to simulate governance proposals with forge☆57Updated last year
- Plugin for Nile to deploy and manage upgradeable contracts on StarkNet.☆10Updated last year
- ☆22Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- EIP 4626 in Cairo lang for Starknet☆51Updated 2 years ago
- Minimal Yul Transpilation to the Miden VM☆53Updated 2 years ago
- Write tests in cairo-lang☆29Updated 2 years ago
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 7 months ago
- Plonk verifier in solidity (using Commit api)☆21Updated 7 months ago
- ☆31Updated 11 months ago
- SMT 2023 Submission; license pending☆53Updated 3 months ago
- Installation tooling for Noir☆25Updated 3 weeks ago
- Starknet pool to provide non-custodial liquidity to central limit order book market makers☆25Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- ☆18Updated 2 years ago