crytic / amarnaLinks
Amarna is a static-analyzer and linter for the Cairo programming language.
☆148Updated 8 months ago
Alternatives and similar repositories for amarna
Users that are interested in amarna are comparing it to the libraries listed below
Sorting:
- A minimal template for building smart contracts with Cairo 1.0☆87Updated 2 years ago
- A DSL for generating optimal EVM bytecode☆192Updated last year
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- ☆103Updated 2 years ago
- A set of standardised Cairo librairies for use on StarkNet☆23Updated 3 years ago
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- Multi-signature functionality for StarkNet☆92Updated 2 years ago
- ☆60Updated 2 years ago
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆78Updated last year
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 10 months ago
- Playing with zero-knowledge proof languages☆107Updated 2 years ago
- Carbon Starknet Protocol written in Cairo.☆54Updated last year
- A repo of example Noir projects.☆70Updated 3 weeks ago
- ☆100Updated 3 years ago
- A template for noir.☆143Updated last year
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆177Updated 2 years ago
- ☆47Updated 2 years ago
- ☆99Updated 2 years ago
- Resources for learning Noir from ZKCamp's Aztec Course☆59Updated 2 years ago
- e=vm² (pronounced evm-squared; the = is silent) is an evm that runs inside evm.☆91Updated 3 years ago
- ☆43Updated 2 years ago
- Walkthroughs to leverage Odyssey's features from the future.☆105Updated 4 months ago
- Public reports of audits performed by Nethermind Security☆54Updated 2 weeks ago
- ☆94Updated last year
- Resources for Cairo 1.0 development.☆170Updated 9 months ago
- Cross-chain interop research, funded by Optimism Governance.☆61Updated 6 months ago
- Simulate cross-chain protocols txs, easily.☆151Updated 4 months ago
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- Bridge aTokens to Starknet☆46Updated 2 years ago
- A curated list of repos related to Circom☆102Updated 2 years ago