Search results

<code>is_negative / is_positive</code> misclassify when <code>HEAD_OFFSET == 1</code>

Status: Open.

#401 In BitVM/BitVM;

· trackoor opened on Oct 18, 2025

<code>lshift_prevent_overflow(bits = 0)</code> empties/underflows <code>altstack</code> due to missing <code>OP_TOALTSTACK</code> pushes in limb shifters

Status: Open.

#399 In BitVM/BitVM;

· trackoor opened on Oct 18, 2025

[Zellic Audit] 3.6/3.12/3.24 Usage of point types with malformed values

Status: Open.

#376 In BitVM/BitVM;

· eigmax opened on Aug 26, 2025

[Zellic Audit] Usage of semantically incorrect types in some places

Status: Open.

#340 In BitVM/BitVM;

· lynndell2010 opened on Aug 14, 2025

[Zellic Audit] Types for elliptic curve points being used incorrectly (Malte 25.07)

Status: Open.

#320 In BitVM/BitVM;

· wz14 opened on Jul 30, 2025

[Zellic Audit] function utils_point_add_eval lack dosen't checks t!=qq (Mohit 14 21.07)

Status: Open.

#315 In BitVM/BitVM;

· wz14 opened on Jul 24, 2025

[Zellic Audit] The input and result hint are not checked to be well formed (Mark 6 17.07)

Status: Open.

#314 In BitVM/BitVM;

· wz14 opened on Jul 24, 2025

[Zellic Audit] checking G1Affine::infinity (Avi 14 12.07)

Status: Open.

#312 In BitVM/BitVM;

· wz14 opened on Jul 24, 2025

SPV verifier may accept Merkle proofs for Bitcoin transactions not in the chain

Status: Open.

#285 In BitVM/BitVM;

· darosior opened on Apr 18, 2025

Issue when saving to remote data storage, error not being handled

Status: Open.

#267 In BitVM/BitVM;

· kristiann57 opened on Mar 18, 2025

Clippy lints

Status: Open.

#259 In BitVM/BitVM;

· uncomputable opened on Mar 12, 2025

Fuzzing is broken on linux

Status: Open.

#258 In BitVM/BitVM;

· uncomputable opened on Mar 12, 2025