Lab

Commit a genome file, prove what its panel sites say, and check the result. The file never leaves this machine (privacy). Not a diagnosis. Ask a clinician before changing a medication.

Genome file

Waiting

Drop a raw-data file or choose one 23andMe, AncestryDNA or VCF · read in this browser

Coverage

Waiting

Site set

Commitment

Waiting

v0.3 tree v0.2 tree

Import k.json

Proofs

Waiting

Auto Native Browser

Audience (optional)

Valid until (optional)

Panelextract_panel@1

A hiding commitment to the site set's records, proven against the genome root.

Rule tableapply_rules@1

A published rule table applied to the committed panel. Outside a proof each answer is computed, not proven.

Bundle

Waiting

Needs the panel proof.

Drop a bundle to verify syntelea.bundle/0.3 or syntelea.proof-bundle/0.2

Verify in this browser Native

Compare with the native verifier

Statements

In developmentbuilt and tested, not yet proven and checked Planneddesigned, not built

Activity