Search results

Refactor: provable/mod.rs should be dispatched

Status: Open.

#194 In Lagrange-Labs/deep-prove;

· nikkolasg opened on Jul 10, 2025

Quantization trait: Directly give output scaling factors

deepprove

Improvement

Status: Open.

#178 In Lagrange-Labs/deep-prove;

· nikkolasg opened on Jul 2, 2025

Inference Trace: Duplicate storing of input and output of each layer

Status: Open.

#147 In Lagrange-Labs/deep-prove;

· nikkolasg opened on Jun 19, 2025

Macro to automatically populate Layer trait implementations

Status: Open.

#143 In Lagrange-Labs/deep-prove;

· nikkolasg opened on Jun 11, 2025

Bug: failing basefold benchmark

Status: Open.

#126 In Lagrange-Labs/deep-prove;

· huitseeker opened on May 30, 2025

Batch Prove Convolution Sumchecks

Status: Open.

#108 In Lagrange-Labs/deep-prove;

· Zyouell opened on Apr 29, 2025

Get rid of all convolution related elements in tensor.rs

Status: Open.

#107 In Lagrange-Labs/deep-prove;

· nikkolasg opened on Apr 29, 2025

Ensure! instead of assert!

Status: Open.

#106 In Lagrange-Labs/deep-prove;

· nikkolasg opened on Apr 29, 2025

Emit Proof Bytes

Status: Open.

#87 In Lagrange-Labs/deep-prove;

· vowalsh opened on Mar 27, 2025

Some ideas on DeepProve

Status: Open.

#84 In Lagrange-Labs/deep-prove;

· Thiohitric opened on Mar 24, 2025

Random model with convolution layer inside

Status: Open.

#76 In Lagrange-Labs/deep-prove;

· nikkolasg opened on Mar 19, 2025

Support multiple consecutive downsampling layers

Status: Open.

#74 In Lagrange-Labs/deep-prove;

· sshravan opened on Mar 18, 2025