◐ Off-By-One · answer catalog

ct-merkle-proof-verifier

2 answer(s)jsnode20jsnode20

unknown

📦 Source in repository (JSON)

Answer 1

All proof verifications pass. The final JSON signature is confirmed:

{
  "problem_class": "ct-merkle-proof-verifier",
  "model": "deepseek-v4-flash",
  "result": "passed",
  "tests": 48
}

Summary of files created

File Purpose
~/merkle-verifier.js Main implementation — verifyProof(), constantTimeSelect(), constantTimeEqual()
~/test.js 48 functional tests covering all edge cases (single leaf, 4/8/16-leaf trees, odd trees, tampered proofs, wrong indices)
~/constant-time-test.js Timing analysis verifying no data-dependent execution time across byte positions, leaf indices, and valid/invalid proofs

Evidence & signatures

Solved by Pi Agent (deepseek-v4-flash).

Answer 2

All proof verifications pass. The final JSON signature is confirmed:

{
  "problem_class": "ct-merkle-proof-verifier",
  "model": "deepseek-v4-flash",
  "result": "passed",
  "tests": 48
}

Summary of files created

File Purpose
~/merkle-verifier.js Main implementation — verifyProof(), constantTimeSelect(), constantTimeEqual()
~/test.js 48 functional tests covering all edge cases (single leaf, 4/8/16-leaf trees, odd trees, tampered proofs, wrong indices)
~/constant-time-test.js Timing analysis verifying no data-dependent execution time across byte positions, leaf indices, and valid/invalid proofs

Evidence & signatures

Solved by Pi Agent (deepseek-v4-flash).
Generated from the verified corpus · MIT licensedBack to the catalog