Search results

non-local-definitions lint warnings with OCaml derive macros on Rust 1.84

Status: Open.

#3319 In o1-labs/proof-systems;

· dannywillems opened on Aug 18, 2025

Publish crates on crates.io

Status: Open.

#3313 In o1-labs/proof-systems;

· dannywillems opened on Aug 14, 2025

mina-signer: provide an OCaml compatible version of derive_nonce

Status: Open.

#3312 In o1-labs/proof-systems;

· dannywillems opened on Aug 14, 2025

Deps: update wasm-bindgen to offer compatibility with more recent versions of Rust

Status: Open.

#3301 In o1-labs/proof-systems;

· dannywillems opened on Jul 25, 2025

Deps: bump up ocaml-rs to minimum 1.0.0

Status: Open.

#3299 In o1-labs/proof-systems;

· dannywillems opened on Jul 24, 2025

Performance regressions detection in CI

Status: Open.

#3294 In o1-labs/proof-systems;

· dannywillems opened on Jul 14, 2025

CI: add a job to continuously check that proof-systems can be compiled into sp1

Status: Open.

#3259 In o1-labs/proof-systems;

· dannywillems opened on Jun 9, 2025

Rust library implementing Merkle trees, like in o1js

Status: Open.

#3258 In o1-labs/proof-systems;

· dannywillems opened on Jun 9, 2025

Rust library/crate verifying ZkProgram proofs

Status: Open.

#3257 In o1-labs/proof-systems;

· dannywillems opened on Jun 9, 2025

CI/master: Bench mina circuits is broken

Status: Open.

#3256 In o1-labs/proof-systems;

· dannywillems opened on Jun 9, 2025

ARM support

bugSomething isn't workingSomething isn't working

macOS

Status: Open.

#3254 In o1-labs/proof-systems;

· dannywillems opened on Jun 5, 2025

Should we have this as a follow-up issue ?

Status: Open.

#3253 In o1-labs/proof-systems;

· dannywillems opened on Jun 5, 2025