All pull requests

Pull requests

• feat(ec): implement Divide-and-Pair with source-derived Lean proofs

  #593·feltroidprime opened Oct 31, 2026Collaborator·

  ·

• fix(ec): port gnark GLV soundness fixes across Garaga

  #523·feltroidprime opened Oct 13, 2026Collaborator·

  ·

• feat: bls_calldata_builder for arbitrary BLS12-381 messages

  #519·haycarlitos opened May 5, 2026·2 of 10 tasks·

  ·
  3

• feat: add Falcon-512 post-quantum signature verification

  #503·feltroidprime opened Mar 6, 2026Collaborator·3 of 5 tasks·

  ·

• refactor(generators): consolidate Groth16 generators

  #491·feltroidprime opened Jan 24, 2026Collaborator·3 tasks done·

  ·

• Add Arkworks and Noname integration details to documentation

  #488·mysteryon88 opened Jan 23, 2026·2 of 3 tasks·

  ·
  1

• feat: add magic methods to ModuloCircuitElement

  #485·feltroidprime opened Jan 17, 2026Collaborator·4 tasks done·

  ·
  1

• docs(msm): align Groth16 verifier example with autogenerated contract

  #475·VolodymyrBg opened Dec 8, 2025·

  ·

• 📚 Update documentation from GitBook

  auto-generateddocumentation
  #472·garaga-bot opened Dec 2, 2025Collaborator·

  ·

• chore: fix some minor issues in the comments

  #454·goldlinker opened Oct 16, 2025·2 of 10 tasks·

  ·
  1

• Bp++

  #431·feltroidprime opened Jun 8, 2025Collaborator·

  ·

• DRAND Encrypt To Round calldata encoding bindings for Rust/JavaScript

  #400·raugfer opened May 23, 2025Collaborator·10 tasks·

  ·
  2

• Opt msm

  #395·feltroidprime opened May 11, 2025Collaborator·

  ·

• Adds Combined Recursive Noir Circuit & Updated Shell Script Functions for Multi-Step Proof Generation

  #313·krisoshea-eth opened Mar 10, 2025·2 of 10 tasks·

  ·

• Merkle Mountain Range

  #308·feltroidprime opened Feb 24, 2025Collaborator·10 tasks·

  ·
  3