crytic / amarna
Amarna is a static-analyzer and linter for the Cairo programming language.
☆148Updated 11 months ago
Alternatives and similar repositories for amarna:
Users that are interested in amarna are comparing it to the libraries listed below
- A minimal template for building smart contracts with Cairo 1.0☆87Updated last year
- A DSL for generating optimal EVM bytecode☆186Updated 2 months ago
- Resources for Cairo 1.0 development.☆171Updated 11 months ago
- Static Analyzer for Starknet smart contracts☆138Updated last year
- Foundry like framework for starknet contracts☆77Updated last year
- ☆43Updated last year
- ☆102Updated 2 years ago
- ☆90Updated 8 months ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆73Updated 3 months ago
- Cross-chain interop research, funded by Optimism Governance.☆53Updated 3 weeks ago
- Export Circom verifier to Cairo☆49Updated 2 years ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated last year
- A curated list of awesome Starknet Security Resources. Tools, audits, CTFs and more.☆53Updated 5 months ago
- A curated list of awesome resources related to SP1 - Succinct's zkVM.☆101Updated 2 months ago
- A curated list of repos related to Circom☆95Updated 2 years ago
- Carbon Starknet Protocol written in Cairo.☆55Updated 6 months ago
- A set of standardised Cairo librairies for use on StarkNet☆23Updated 2 years ago
- Cairo Language Server☆60Updated last year
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated last year
- Generate an optimized Groth16 SNARK verification smart contract for use on EVM-based blockchains.☆126Updated 2 years ago
- Leveraging zk for trustlessly selling private keys, signatures and groth16 proofs.☆91Updated last year
- ☆51Updated last year
- A template for noir.☆140Updated last year
- Console.log utility for debugging huff contracts☆64Updated last year
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- ☆102Updated 2 years ago
- The most optimized ERC20 & Wrapped Ether implementation.☆144Updated last year
- A detailed tutorial to test Starknet messaging with Anvil and Katana☆30Updated 3 weeks ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆67Updated last month
- Foundry + Yul template☆94Updated last year