Search results

transcript in verifier

Status: Open.

#30 In lattice-complete/Lazarus;

· FoodChain1028 opened on Jan 1, 2025

<code>t1</code> and <code>t2</code> value

Status: Open.

#28 In lattice-complete/Lazarus;

· FoodChain1028 opened on Jan 1, 2025

<code>size_r</code> and <code>size_n</code> are not $Z_q$ and should be in <code>setup</code>

Status: Open.

#27 In lattice-complete/Lazarus;

· FoodChain1028 opened on Jan 1, 2025

<code>num_to_basis</code> implementation (modulo method)

Status: Open.

#26 In lattice-complete/Lazarus;

· FoodChain1028 opened on Jan 1, 2025

generate_random_polynomial_ring -&gt; challenge space function

Status: Open.

#25 In lattice-complete/Lazarus;

· FoodChain1028 opened on Jan 1, 2025

Add recursion

Status: Open.

#20 In lattice-complete/Lazarus;

· luckyyang opened on Dec 24, 2024

·  

v0.01

Add test for real use case

Status: Open.

#19 In lattice-complete/Lazarus;

· luckyyang opened on Dec 24, 2024

·  

v0.01

Choose proper parameters for prover and verifier

Status: Open.

#18 In lattice-complete/Lazarus;

· luckyyang opened on Dec 24, 2024

·  

v0.01

Implement Fiat Shamir transformation

Status: Open.

#17 In lattice-complete/Lazarus;

· luckyyang opened on Dec 24, 2024

·  

v0.01

[TBD][ALGEBRA] Implement Matrix struct and its operations

Status: Open.

#9 In lattice-complete/Lazarus;

· FoodChain1028 opened on Nov 9, 2024

[LABRADOR] Polynomial Decomposition with Given Basis

Status: Open.

#8 In lattice-complete/Lazarus;

· Junochiu opened on Nov 9, 2024

[COMMITMENT] Ajtai commitment

Status: Open.

#7 In lattice-complete/Lazarus;

· Junochiu opened on Nov 9, 2024