kwantam / addchain

Related projects ⓘ

Alternatives and complementary repositories for addchain

• kwantam / fffft
  fft impl for ff::Field
  ☆15Updated 6 months ago
• mmaker / tinybear
  ☆22Updated last month
• wborgeaud / ecfft-bn254
  ECFFT in Rust
  ☆55Updated last year
• arkworks-rs / ripp
  Argument systems for inner pairing products
  ☆41Updated 3 months ago
• a16z / vectorized-fields
  Vectorized AVX-512 256-bit arithmetic library
  ☆30Updated last month
• greenhat / omnizk
  Compiler framework for ZK VMs
  ☆33Updated last year
• cronokirby / boo-hoo
  An implementation of ZKBoo
  ☆33Updated 2 years ago
• daira / curvesearch
  Elliptic curve search experiments
  ☆35Updated last year
• anemoi-hash / anemoi-hash
  Anemoi: a Family of ZK-friendly Arithmetization Oriented Hash Functions
  ☆13Updated last year
• daira / tweedle
  Generator and supporting evidence for security of the Tweedledum/Tweedledee pair of elliptic curves suitable for Halo
  ☆20Updated 2 years ago
• zhenfeizhang / origami
  [wip] implementing origami VDF
  ☆13Updated last year
• alinush / libvectcom
  An O(N\log{N}) time algorithm for computing all N proofs fast in the Pointproofs VC. Also, the O(N\log{N}) time Feist-Khovratovich algori…
  ☆13Updated 3 years ago
• kwantam / bls12-381_hash
  Fast and simple constant-time hashing to the BLS12-381 elliptic curve
  ☆43Updated 4 years ago
• khovratovich / Kate
  ☆25Updated 2 years ago
• halo2-ce / halo2
  ☆28Updated last year
• mitschabaude / montgomery
  Fast implementation of multi-scalar multiplication in WebAssembly
  ☆32Updated 2 months ago
• arkworks-rs / nonnative
  R1CS constraints for non-native field arithmetic
  ☆20Updated 3 years ago
• iden3 / ffiasm-old
  Intel assembly finite field library generator
  ☆12Updated 11 months ago
• w3f / fflonk
  ☆25Updated 5 months ago
• cryptonetlab / testudo
  Testudo: Spartan + Groth16
  ☆52Updated 8 months ago
• zeropoolnetwork / fawkes-crypto
  Fawkes-Crypto - zkSNARKs framework
  ☆21Updated 9 months ago
• CPerezz / caulk_plus
  A rusty implementation of the Caulk+ lookup algorithm.
  ☆12Updated last year
• Orbis-Tertius / tiny-ram-halo2
  A program for creating and verifying zkSNARKs to prove the results of Orbis smart contract executions and other TinyRAM program execution…
  ☆37Updated last year
• kevaundray / plookup
  ☆37Updated 2 years ago
• armfazh / h2c-rust-ref
  [RFC9380] Hash to curves - Rust reference implementation
  ☆24Updated 7 months ago
• arnaucube / protogalaxy-poc
  ProtoGalaxy folding scheme PoC implementation https://eprint.iacr.org/2023/1106.pdf
  ☆40Updated last year
• zkcrypto / merlin
  Composable proof transcripts for public-coin arguments of knowledge
  ☆47Updated 2 months ago
• Orbis-Tertius / MVlookups
  A note on multivariate lookup arguments
  ☆10Updated last year
• pornin / ecgfp5
  Curve ecGFp5
  ☆67Updated 2 years ago
• arkworks-rs / pcd
  Implementations of proof-carrying data
  ☆30Updated 2 years ago