Search results

Fix <code>cargo-audit</code> vulnerabilities and warnings

Status: Open.

#185 In anoma/arm-risc0;

· heueristik opened on Jan 6, 2026

Rename <code>LogicVerifierInputs</code> struct to <code>LogicVerifierInput</code>

Status: Open.

#153 In anoma/arm-risc0;

· heueristik opened on Oct 21, 2025

Dependencies versions

dependenciesPull requests that update a dependency filePull requests that update a dependency file

Status: Open.

#141 In anoma/arm-risc0;

· larraia opened on Oct 3, 2025

The Nif Feature Flag fails to compile v0.7.0 to v0.8.0

Status: Open.

#132 In anoma/arm-risc0;

· mariari opened on Oct 1, 2025

Should we update our bincode version to 2.0.1?

dependenciesPull requests that update a dependency filePull requests that update a dependency file

Status: Open.

#129 In anoma/arm-risc0;

· mariari opened on Oct 1, 2025

Move aggregation circuit(s) code to arm crate

Status: Open.

#125 In anoma/arm-risc0;

· larraia opened on Sep 29, 2025

Aggregate proofs without erasing the base proofs

enhancementNew feature or requestNew feature or request

Status: Open.

#118 In anoma/arm-risc0;

· larraia opened on Sep 23, 2025

Fix security errors from dependabot

Status: Open.

#114 In anoma/arm-risc0;

· XuyangSong opened on Sep 19, 2025

Proof aggregation - implement binary tree strategy

enhancementNew feature or requestNew feature or request

Status: Open.

#112 In anoma/arm-risc0;

· larraia opened on Sep 17, 2025

Bench proof aggregation

Status: Open.

#99 In anoma/arm-risc0;

· larraia opened on Aug 29, 2025