crytic / amarnaLinks
Amarna is a static-analyzer and linter for the Cairo programming language.
☆148Updated 7 months ago
Alternatives and similar repositories for amarna
Users that are interested in amarna are comparing it to the libraries listed below
Sorting:
- A DSL for generating optimal EVM bytecode☆189Updated 10 months ago
- A minimal template for building smart contracts with Cairo 1.0☆87Updated 2 years ago
- ☆102Updated 2 years ago
- Foundry like framework for starknet contracts☆77Updated 2 years ago
- ☆93Updated last year
- ☆77Updated this week
- ☆59Updated 2 years ago
- A curated list of awesome Cairo resources, libraries, tools and more.☆66Updated 2 years ago
- A set of standardised Cairo librairies for use on StarkNet☆23Updated 3 years ago
- Walkthroughs to leverage Odyssey's features from the future.☆105Updated 3 months ago
- The most optimized ERC20 & Wrapped Ether implementation.☆145Updated last year
- ☆99Updated 2 years ago
- Resources for Cairo 1.0 development.☆170Updated 7 months ago
- A template for noir.☆143Updated last year
- Circuit examples for ZK Hack Lisbon 2023 in Circom, Noir, Risc-0☆77Updated 11 months ago
- Tools for Yul.☆138Updated 2 years ago
- Cairo Language Server☆60Updated 2 years ago
- My homework and notes on zkEVM Bootcamp by zkSync and Encode Club☆66Updated 9 months ago
- Secure randomness for Ethereum's execution layer via SNARKs and RANDAO.☆176Updated 2 years ago
- Multi-signature functionality for StarkNet☆92Updated 2 years ago
- A minimal based rollup implementation that is easy to understand and extend☆46Updated last month
- Cross-chain interop research, funded by Optimism Governance.☆60Updated 4 months ago
- A combination of simple implementations of different existing protocols and standards in Cairo☆46Updated 2 years ago
- This repository implements a simplified PoC that demonstrates how signature malleability attacks using compact signatures can be executed…☆113Updated this week
- The Good Ethereum Assembler☆125Updated 2 months ago
- A Foundry plugin that enables you to plot charts within solidity.☆158Updated last year
- Bridge aTokens to Starknet☆45Updated 2 years ago
- Public reports of audits performed by Nethermind Security☆52Updated this week
- Implementation of the Ethereum Virtual Machine in python.☆86Updated 2 years ago
- ☆46Updated 2 years ago