Skip to content

EllipticZero v0.1.9

Latest

Choose a tag to compare

@ECD5A ECD5A released this 30 Jun 15:33

Highlights

  • Added case-level recall, miss-rate, precision, specificity, and targeted false-positive metrics to the pinned SmartBugs validator.
  • Added a reproducible SmartBugs reentrancy case study with a local hardened fixture, Markdown export, full-session commands, and before/after verification.
  • Added public feedback routing with free-form Issues, a feedback template, stronger Pull Request checks, and direct private vulnerability reporting.
  • Added compact verified-evidence sections to the English and Russian README files.
  • Narrowed admin-surface detection so ordinary user withdrawal, burn, and preference functions are not mislabeled as administrative paths.
  • Fixed calibration reporting so a comparison with no regressions does not produce a regression-like blocker.

Verification

  • Production release gate: PASS
  • Test suite: 325 passed
  • Deterministic benchmark scorecard: 80/80
  • Targeted SmartBugs validation: 6/6
  • Confusion matrix: 5 TP / 0 FN / 1 TN / 0 FP
  • Targeted metrics: 100% recall / 0% miss rate / 0% false-positive rate
  • GitHub Actions matrix, installed-wheel smoke, and CodeQL: PASS

The SmartBugs figures cover five selected labeled cases and one synthetic negative control. They are not a full-suite score, exploitability proof, or general false-positive estimate.

Release assets

  • ellipticzero-0.1.9-py3-none-any.whl
  • ellipticzero-0.1.9.tar.gz

License

This release is source-available under FSL-1.1-ALv2.

Each published version becomes available under Apache License 2.0 on the second anniversary of the date that version was made available.

Commercial product, hosted service, OEM, white-label, resale, or similar use cases should be discussed separately.

Contact

For commercial licensing, partnerships, or collaboration:

Email  Telegram  GitHub