Search results

[Security] Verifier Does Not Validate Proof Deserialization Error

Status: Open.

#118 In binance/zkmerkle-proof-of-solvency;

· mefai-dev opened on Mar 20, 2026

[Security] Debug api.Println Statements Left in Production Circuit

Status: Open.

#117 In binance/zkmerkle-proof-of-solvency;

· mefai-dev opened on Mar 20, 2026

[Security] Integer Division Hint Rounding Down Could Marginally Reduce Collateral Valuation

Status: Open.

#116 In binance/zkmerkle-proof-of-solvency;

· mefai-dev opened on Mar 20, 2026

[Security] Race Condition in Concurrent cexAssets Mutation During Witness Generation

Status: Open.

#115 In binance/zkmerkle-proof-of-solvency;

· mefai-dev opened on Mar 20, 2026

[Security] Padding Accounts Lack AccountId Hashing -- Predictable Leaf Nodes

Status: Open.

#114 In binance/zkmerkle-proof-of-solvency;

· mefai-dev opened on Mar 20, 2026

[Security] UnsafeReadFrom for Proving Key Skips Subgroup Checks

Status: Open.

#113 In binance/zkmerkle-proof-of-solvency;

· mefai-dev opened on Mar 20, 2026

[Security] IgnoreUnconstrainedInputs Used in Production Key Generation

Status: Open.

#112 In binance/zkmerkle-proof-of-solvency;

· mefai-dev opened on Mar 20, 2026

Bug: SHIB Equity < Debt in "Valid" Account Generation Logic

Status: Open.

#103 In binance/zkmerkle-proof-of-solvency;

· Belu23ac opened on Jan 7, 2026