Search results

Add soundness error of consistency check in logup

Status: Open.

#67 In ethereum/soundcalc;

· arantxazapico opened on Feb 4, 2026

Add loss due to number of non-recursive proofs

Status: Open.

#58 In ethereum/soundcalc;

· b-wagn opened on Jan 21, 2026

specify a pp-per-round for WHIR

Status: Open.

#47 In ethereum/soundcalc;

· asanso opened on Dec 17, 2025

Figure better heuristic for proximity parameter in the JBR

Status: Open.

#31 In ethereum/soundcalc;

· asn-d6 opened on Dec 5, 2025

Consider further integration of recursion in soundcalc

Status: Open.

#29 In ethereum/soundcalc;

· asn-d6 opened on Dec 1, 2025

Implement 1.5 Johnson Bound regime

Status: Open.

#6 In ethereum/soundcalc;

· asn-d6 opened on Sep 24, 2025