vestigia

Detect where execution depends on secrets.
git clone git://git.ppad.tech/vestigia.git
Log | Files | Refs | README | LICENSE

commit b9cdbe93429f6df5a4e1c243c147bfd3910781b8
parent 7440899be79afbd1839f87c905c68515643be54f
Author: Jared Tobin <jared@jtobin.io>
Date:   Sat, 17 Oct 2026 22:23:50 +0400

readme: the diff summary as one line

Diffstat:
MREADME.md | 3+--
1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/README.md b/README.md @@ -92,8 +92,7 @@ control 0xe9d6 Element::vartime_compress_to_field sign.rs:11 ... address 0x152c8 Fq::sqrt_ratio_zeta invsqrt.rs:113 ... address 0x152eb Fq::sqrt_ratio_zeta invsqrt.rs:117 ... ... -44 origin(s) over 3 run(s); 1383 instruction(s) downstream; 0 unsteady -over 1 control(s) +44 origin(s) over 3 run(s); 1383 instruction(s) downstream; 0 unsteady ... ``` An *origin* is a branch whose outcomes differ in proportion between