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
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Share private EVM state attestations using STARK proofs☆72Updated 2 years ago
- Learn Cairo and StarkNet Smart Contract programming with example code☆23Updated 2 years ago
- A graph library written in Cairo☆24Updated 2 years ago
- A tree-sitter-grammar for cairo 1.0☆16Updated 2 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Updated 3 months ago
- A Symbolic Execution Tool for Cairo☆49Updated 2 years ago
- Cairo implementation of operations over the elliptic curve BLS12-381☆14Updated last year
- Write tests in cairo-lang☆29Updated 2 years ago
- Blog☆22Updated last year
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated last year
- A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.☆38Updated 2 years ago
- Repository that defines a cairo struct called ratio that represents a rational number, x/y where x and y are in z mod p. Defines several …☆15Updated 2 years ago
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- Generic Vector library for Solidity☆27Updated 2 years ago
- Cairo hooks for pre-commit☆17Updated 2 years ago
- ☆39Updated 2 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 2 years ago
- Automates the verification of Solidity tests written using BTT technique☆18Updated 4 months ago
- Sets up Scarb in your GitHub Actions workflow.☆19Updated last month
- ☆22Updated 2 years ago
- ⛳ Template for Forge + EVM Toolkit☆54Updated 2 years ago
- Plonk verifier in solidity (using Commit api)☆21Updated 6 months ago
- standardized framework to simulate governance proposals with forge☆57Updated last year
- zkSNARK circuits for the Telepathy protocol☆51Updated last year
- A Cairo implementation of common Elliptic Curve.☆28Updated 6 months ago
- Remote Attestation VErification☆30Updated 5 months ago
- The MPC suite of tools for conducting zkSNARK Phase 2 Trusted Setup ceremonies☆16Updated last year
- An EVM low-level language that gives full control over the control flow of the smart contract.☆26Updated 6 months ago