List view

Risk of overflow in the grandsum

Status: Closed (completed).

#237 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Mar 26, 2024

Add github action workflow for Polynomial Encoding Version

Status: Closed (completed).

#225 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Feb 28, 2024

Integrate the univariate grand sum version with the backend

Status: Closed (completed).

#213 In summa-dev/summa-solvency;

· by alxkzmn was closed on Mar 8, 2024

Benchmark the univariate grand sum

Status: Closed (completed).

#214 In summa-dev/summa-solvency;

· by alxkzmn was closed on Feb 28, 2024

Polynomial degree should be known by the verifier without any trust assumption

Status: Closed (completed).

#236 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Mar 19, 2024

Find out how Blinding Factors affect Grand Sum Calculation

Status: Closed (completed).

#235 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Dec 28, 2023

Comparing benchmark between KZG and MST

Status: Closed (completed).

#240 In summa-dev/summa-solvency;

· by sifnoc was closed on Feb 28, 2024

Add Readme to the univariate grand sum

Status: Closed (completed).

#215 In summa-dev/summa-solvency;

· by alxkzmn was closed on Jan 31, 2024

Use <code>halo2-solidity-verifier</code> for univariate grand sum version

Status: Closed (completed).

#212 In summa-dev/summa-solvency;

· by alxkzmn was closed on Dec 20, 2023

Extract grand sum from the polynomial commitment

Status: Closed (completed).

#194 In summa-dev/summa-solvency;

· by alxkzmn was closed on Dec 7, 2023

Prove &amp; verify the user ID inclusion into a KZG commitment of the username advice column

Status: Closed (completed).

#222 In summa-dev/summa-solvency;

· by alxkzmn was closed on Dec 15, 2023

Remove <code>N_BYTES</code> from generic as just set the check to 64 bits

Status: Closed (completed).

#227 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Dec 20, 2023

Comprehensive negative tests for the univariate grand sum approach

Status: Closed (completed).

#229 In summa-dev/summa-solvency;

· by alxkzmn was closed on Dec 27, 2023

Find a way to deal with larger K in zk circuit

Status: Closed (completed).

#248 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Feb 28, 2024

Speed up opening proof

Status: Closed (completed).

#247 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Apr 16, 2024

Refactor smart contract for the polynomial encoding version (aka Summa v2)

Status: Closed (completed).

#242 In summa-dev/summa-solvency;

· by alxkzmn was closed on Feb 28, 2024

Consider using a Solidity KZG verifier for user inclusion

Status: Closed (completed).

#241 In summa-dev/summa-solvency;

· by alxkzmn was closed on Feb 28, 2024

Merge/Swap V2 and V1

Status: Closed (completed).

#244 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Apr 2, 2024

Performance Improvements on user opening

Status: Closed (completed).

#243 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Feb 28, 2024

V2 Docs

Status: Closed (completed).

#245 In summa-dev/summa-solvency;

· by enricobottazzi was closed on Apr 2, 2024

KZG multiopening

Status: Closed (completed).

#210 In summa-dev/summa-solvency;

· by alxkzmn was closed on Dec 15, 2023

Implement range checks in the univariate grand sum circuit

Status: Closed (completed).

#211 In summa-dev/summa-solvency;

· by alxkzmn was closed on Dec 12, 2023

PoC KZG openings for the grand sums and user inclusion

Status: Merged (completed).

summa-dev/summa-solvencynumber 208

#208 In summa-dev/summa-solvency;

· by alxkzmn was closed on Dec 11, 2023