All pull requests

Pull requests

• fix(o1vm): correctly copy unaligned ELF text sections across pages

  #3640·somasoil opened Oct 3, 2026·

  ·
  2

• Shifts::new: require distinct cosets, not just distinct shifts

  #3636·martyall opened Sep 24, 2026Contributor·

  ·

• kimchi-stubs: in-place Bigstring to_bytes/of_bytes

  #3628·martyall opened Sep 5, 2026Contributor·

  ·
  1

  13

• Optimize gate-constraint expression evaluation

  #3603·martyall opened Aug 27, 2026Contributor·

  ·

• Optimize the IPA opening prover

  #3602·martyall opened Aug 26, 2026Contributor·

  ·
  3

• Add expression versions of the permutation terms

  #3595·mrmr1993 opened Aug 17, 2026Collaborator·

  ·
  10

• Fat proofs: return the oracle challenges from the prover instead of recomputing them

  #3591·mrmr1993 opened Aug 14, 2026Collaborator·

  ·
  3

• Performance: skip constraint checks on d1 rows where we expensively calculate 0

  #3588·mrmr1993 opened Aug 14, 2026Collaborator·

  ·
  4

• Migrate/openvm 2.1 rv64

  #3585·youtpout opened Aug 7, 2026·

  ·

• fix(utils): handle i32::MIN in i32_to_field

  #3582·haoshengzhen opened Jun 18, 2026·

  ·
  1

• Add support for OCaml-evaluation-order RPN tokens

  #3581·mrmr1993 opened Jun 15, 2026Collaborator·

  ·

• Sp1 precompile

  #3573·martyall opened May 12, 2026Contributor·

  ·

• mina-poseidon: add hash prefixes for domain separation

  #3498·dannywillems opened Feb 18, 2026Collaborator·

  ·
  1

  

• poly-commitment: make multi_scalar_mul generic over Borrow

  #3485·dannywillems opened Feb 7, 2026Collaborator·

  ·

• Replace as-cast with u32::try_from in SRS creation

  #3483·dannywillems opened Feb 7, 2026Collaborator·2 of 3 tasks·

  ·
  

• feat: add transaction types to mina-tx-type crate

  #3481·dannywillems opened Feb 6, 2026Collaborator·3 of 4 tasks·

  ·
  12

  

• mina-curves: add secp256k1

  #3435·dannywillems opened Jan 8, 2026Collaborator·

  ·

• build: replace --all-features with per-crate feature flags

  #3425·dannywillems opened Dec 23, 2025Collaborator·3 tasks·

  ·

• feat: add no-std feature to poly-commitment crate

  #3418·dannywillems opened Dec 19, 2025Collaborator·3 tasks done·

  ·
  1

• feat: add no-std feature to o1-utils crate

  #3417·dannywillems opened Dec 19, 2025Collaborator·1 of 2 tasks·

  ·
  1

  

• feat: add no-std feature to mina-curves crate

  #3416·dannywillems opened Dec 19, 2025Collaborator·1 of 2 tasks·

  ·
  1

  

• feat: add mina-bip32 and ledger-test-vectors for Ledger wallet validation

  #3388·dannywillems opened Dec 16, 2025Collaborator·3 of 4 tasks·

  ·
  22

  

• bump ocaml-rs to 1.3.0

  #3376·glyh opened Dec 2, 2025·

  ·
  1

• Implement BIP39

  #3363·dannywillems opened Nov 4, 2025Collaborator·

  ·

• Port wasm-friendly pasta implementation for openmina

  #3304·volhovm opened Jul 30, 2025Contributor·

  ·