Search results

investigate if invalid ELF (with invalid opcode) produces proof

Status: Open.

#74 In MatteoMer/zolt;

· MatteoMer opened on Apr 5, 2026

perf: batch instance binding in sumcheck stages 5/6

Status: Open.

#63 In MatteoMer/zolt;

· MatteoMer opened on Mar 13, 2026

perf: faster Fp.add/sub with branchless reduction

Status: Open.

#60 In MatteoMer/zolt;

· MatteoMer opened on Mar 12, 2026

perf: tighter Montgomery multiplication ASM

Status: Open.

#59 In MatteoMer/zolt;

· MatteoMer opened on Mar 12, 2026

perf: use NAF in cyclotomic expByX for final exponentiation

Status: Open.

#56 In MatteoMer/zolt;

· MatteoMer opened on Mar 12, 2026

Batch ValEvaluation and ValFinal into single RamValCheck sumcheck

Status: Open.

#27 In MatteoMer/zolt;

· MatteoMer opened on Mar 10, 2026

Add RamRaVirtualization sumcheck

Status: Open.

#26 In MatteoMer/zolt;

· MatteoMer opened on Mar 10, 2026

more program examples

Status: Open.

#4 In MatteoMer/zolt;

· MatteoMer opened on Mar 7, 2026

Add ZK to Zolt

Status: Open.

#2 In MatteoMer/zolt;

· MatteoMer opened on Mar 7, 2026

Add a native verifier

Status: Open.

#1 In MatteoMer/zolt;

· MatteoMer opened on Mar 7, 2026