crytic / amarna-action

Related projects ⓘ

Alternatives and complementary repositories for amarna-action

• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆49Updated 2 years ago
• proof-of-exploit / cli
  Prove knowledge of smart contract bugs using zkEVM
  ☆43Updated 2 months ago
• Lev-Stambler / bulletproof-cairo
  ☆39Updated 2 years ago
• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆31Updated 8 months ago
• Consensys / plonk-solidity-audit
  Plonk verifier in solidity (using Commit api)
  ☆20Updated 4 months ago
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated last year
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated 2 years ago
• tekkac / cairo-alt_bn128
  bn254 pairing library for Cairo Zero
  ☆26Updated last year
• karmacoma-eth / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• myBraavos / efficient-secp256r1
  An efficient implementation of ECDSA on secp256r1 in Cairo
  ☆23Updated last year
• noir-lang / noirup
  Installation tooling for Noir
  ☆23Updated 4 months ago
• franalgaba / pre-commit-cairo
  Cairo hooks for pre-commit
  ☆17Updated 2 years ago
• AmanGotchu / RandaoZKP
  ☆22Updated 2 years ago
• apibara / starknet-modular-contracts-standard
  A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.
  ☆38Updated 2 years ago
• NethermindEth / optimized_ecc_cairo
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Updated last year
• TimNooren / pytest-cairo
  Write tests in cairo-lang
  ☆29Updated 2 years ago
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆22Updated last year
• aviggiano / circom-mutator
  Mutation testing tool for circom
  ☆16Updated last year
• enitrat / cairo-graphs
  A graph library written in Cairo
  ☆24Updated 2 years ago
• software-mansion / setup-scarb
  Sets up Scarb in your GitHub Actions workflow.
  ☆19Updated 2 weeks ago
• foundry-rs / starknet_forge_template
  Forkable template to get you started with Starknet Foundry's Forge
  ☆15Updated last year
• 0xtonysprocket / mammoth_pool
  Starknet pool to provide non-custodial liquidity to central limit order book market makers
  ☆25Updated 2 years ago
• PaulRBerg / check-same-sign
  Gas golfing the most gas efficient way to check if two integers have the same sign in Solidity
  ☆47Updated 2 years ago
• ElliotFriedman / forge-proposal-simulator
  standardized framework to simulate governance proposals with forge
  ☆57Updated last year
• AmadiMichael / p256-verifier-huff
  Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation
  ☆26Updated 11 months ago
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆42Updated 10 months ago
• 0xtonysprocket / ratios_cairo
  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
• auditless / suna
  Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts
  ☆19Updated last year