crytic / amarna-action

Related projects: ⓘ

• maxgillett / stark-attestations
  Share private EVM state attestations using STARK proofs
  ☆72Updated 2 years ago
• myBraavos / efficient-secp256r1
  An efficient implementation of ECDSA on secp256r1 in Cairo
  ☆23Updated last year
• Lev-Stambler / bulletproof-cairo
  ☆39Updated last year
• pmuens / cairo-by-example.org
  Learn Cairo and StarkNet Smart Contract programming with example code
  ☆23Updated last year
• tekkac / cairo-alt_bn128
  bn254 pairing library for Cairo Zero
  ☆26Updated last year
• JoranHonig / tree-sitter-cairo
  A tree-sitter-grammar for cairo 1.0
  ☆16Updated last year
• Veridise / Medjai
  A Symbolic Execution Tool for Cairo
  ☆48Updated 2 years 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
• NethermindEth / optimized_ecc_cairo
  Cairo implementation of operations over the elliptic curve BLS12-381
  ☆14Updated last year
• auditless / suna
  Typesafe opinionated abstractions for developing Cairo 1.0 smart contracts
  ☆19Updated last year
• porco-rosso-j / awesome-zkecdsa
  A curated list of resources on zkECDSA
  ☆36Updated last year
• succinctlabs / telepathy-circuits
  zkSNARK circuits for the Telepathy protocol
  ☆49Updated last year
• ctrlc03 / ctrlc03.github.io
  Blog
  ☆23Updated last year
• onlydustxyz / kaaper
  Documentation generator for Cairo projects.
  ☆14Updated last year
• BitBaseBit / Cairo-SafeMath
  ☆21Updated this week
• Sladuca / sha256-prover-comparison
  Some very rough benchmarks between sha256 circuits in different proving systems
  ☆49Updated 2 years ago
• privacy-scaling-explorations / Nova
  Nova: Recursive SNARKs without trusted setup
  ☆43Updated last year
• leonardoalt / evm
  Simple EVM implementation in [no_std] Rust to be used in Powdr.
  ☆17Updated last year
• AmadiMichael / p256-verifier-huff
  Hyper-Optimised Secp256r1/P256 Verifier Huff Implementation
  ☆26Updated 8 months ago
• hashcloak / starkjub
  A STARK-friendly elliptic curve designed to work within Cairo circuits
  ☆28Updated last year
• milancermak / xoroshiro-cairo
  xoroshiro PRNG implementation in Cairo
  ☆35Updated last week
• avnu-labs / semgrep-cairo-rules
  Semgrep rules for Cairo 1.0
  ☆17Updated last year
• karmacoma-eth / foundry-playground
  one off scripts and contracts
  ☆18Updated last year
• weijiekoh / circom-helper
  A convenient way for developers to compile, cache, and execute circom circuits, as well as to generate proofs.
  ☆33Updated last year
• sambarnes / noir-by-example
  an introduction to noir, with simple examples
  ☆43Updated 8 months ago
• enitrat / cairo-graphs
  A graph library written in Cairo
  ☆24Updated last year
• apibara / starknet-modular-contracts-standard
  A proposal for modular, upgradeable StarkNet contracts. Inspired by the Diamond Standard.
  ☆37Updated 2 years ago
• franalgaba / pre-commit-cairo
  Cairo hooks for pre-commit
  ☆18Updated 2 years ago
• shuklaayush / noir-bigint
  BigInt library for Aztec's noir language
  ☆30Updated 6 months ago
• huff-language / huff-docs
  Extensive Huff Language Documentation, Tutorials, and Resources built with Vuepress and deployed at https://docs.huff.sh
  ☆36Updated 8 months ago