About Vio Labs

How we work, what is on this site, and the company's registered details.

Vio Labs builds AI projects, and games for iPhone and Android: Boltfront, Tilt Match, Run Cards, Marble Relay, VioSound, Domino Circuit and Double Ten. This site belongs to the company. It lists the projects and carries our notes.

What we hold to

Our models run locally, on hardware we operate. We choose the models, the versions and when anything changes. Nothing we handle is exposed to a model we do not control.

How we work

A result is only useful if you know when it holds and where it stops.

Violet RE, the first project we have announced, is built to say both. When it proposes a new name for an identifier in decompiled code, the proposal goes through an equivalence gate for the language. The report counts the proposals that were accepted and the ones that were rejected, and names the gate that rejected each one. Its page adds that these are gates, not proofs.

Its findings follow the same rule. Each one states the conditions required to reach the weakness, a confidence level, and what the analysis could not verify. One of the analysis writeups takes a published vulnerability that Violet RE would not have found and explains why.

This site follows the same rule: a project that is not open is listed as not open.

What is on this site

Hearing from us

Email us at contact@violabs.co.uk. To hear when Violet RE opens, join the waitlist on violetre.io. The waitlist sends one message, when the service opens.

Company details

Company
Vio Labs LTD
Registered in
England and Wales
Company number
17466165
Registered office
128 City Road, London EC1V 2NX

Updated