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
- An efficient implementation of ECDSA on secp256r1 in Cairo☆23Updated last year
- ☆40Updated 2 years ago
- bn254 pairing library for Cairo Zero☆26Updated 2 years ago
- Prove knowledge of smart contract bugs using zkEVM☆43Updated 7 months ago
- ☆28Updated last year
- Learn Cairo and StarkNet Smart Contract programming with example code☆22Updated 2 years ago
- A STARK-friendly elliptic curve designed to work within Cairo circuits☆27Updated 2 years ago
- Data Availability Sampling (DAS) on a Discovery-v5 DHT overlay☆34Updated 3 years ago
- Blog☆22Updated last year
- The repository for high quality Trusted setups for groth16 based SNARKS☆22Updated 2 months ago
- Includes encryption and decryption methods for Paillier's Homomorphic encryption in Cairo☆15Updated last year
- Validation code for the EOF specification☆54Updated last week
- A Symbolic Execution Tool for Cairo☆51Updated 2 years ago
- Curdleproofs is a zero-knowledge shuffle argument☆69Updated last year
- Simple EVM implementation in [no_std] Rust to be used in Powdr.☆17Updated last year
- ☆33Updated last year
- Remote Attestation VErification☆32Updated 9 months ago
- ⛳ Template for Forge + EVM Toolkit☆55Updated 2 years ago
- ☆39Updated 2 years ago
- Axiom smart contracts☆26Updated last year
- Installation tooling for Noir☆25Updated 2 months ago
- ☆18Updated 2 years ago
- zkSNARK circuits for the Telepathy protocol☆53Updated last year
- ☆31Updated 2 years ago
- an introduction to noir, with simple examples☆45Updated last year
- Vyro - Vyper to Cairo transpiler for the Ethereum and StarkNet ecosystems.☆30Updated 2 years ago
- Write tests in cairo-lang☆29Updated 3 years ago
- Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh☆36Updated last year
- Keccak-f[1600] permutation in the EVM☆27Updated 3 months ago