issues
search
zBlock-2
/
summa-solvency-schneier
Apache License 2.0
0
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Range check uses lookup_any instead of lookup
#18
obatirou
opened
7 months ago
0
tests: add end to end test for proof generation and verify
#17
flyingnobita
closed
1 month ago
0
`InclusionVerifier.yul`not generated
#16
flyingnobita
closed
1 month ago
1
[Track Progress] polyexen-demo
#15
flyingnobita
opened
7 months ago
0
[Track Progress] halo2-analyzer / Korrekt
#14
flyingnobita
opened
7 months ago
0
Guarantee usernames stays inside field
#13
sebastiantf
opened
7 months ago
3
Improvement to public inputs in contract
#12
sebastiantf
opened
7 months ago
0
Use only mapping for `addressOwnershipProofs`
#11
sebastiantf
opened
7 months ago
0
[Observation] Sanitization of Inputs Rely on External Crates
#10
flyingnobita
opened
7 months ago
0
Parameter width is inconsistent
#9
0xKarl98
opened
7 months ago
6
tests: add tests for costs using CircuitCost
#8
sebastiantf
opened
7 months ago
0
`Summa.sol` : Issue with `submitProofOfAddressOwnership()`
#7
zzzuhaibmohd
opened
7 months ago
4
`Summa.sol` : Ownable: Does not implement 2-Step-Process for transferring ownership
#6
zzzuhaibmohd
opened
7 months ago
0
test: submitting large no. of cryptocurrencies in single commitment
#5
sebastiantf
opened
7 months ago
0
Potential `Summa::submitCommitment()` Gas limits
#4
sebastiantf
opened
7 months ago
3
Dot Graphs
#3
sebastiantf
opened
7 months ago
0
[WIP] Potential Smart Contract Range Check
#2
sebastiantf
opened
7 months ago
3
test: `balance` sanitization
#1
sebastiantf
opened
7 months ago
3