Garak, LLM Vulnerability Scanner
210 points
6 days ago
| 14 comments
| github.com
| HN
mdaniel
6 days ago
[-]
Ah, this is an ((LLM vulnerability) scanner) not (LLM (vulnerability scanner)) which I thought would be a terrible idea and couldn't understand why everyone was joking about the lies. I also am not a Trekkie, so I had to look up all the tailor references but the character's philosophy makes sense for the name https://en.wikipedia.org/wiki/Elim_Garak#:~:text=the%20truth...
reply
xwn
6 days ago
[-]
Check the last entry in the FAQ source
reply
mdaniel
6 days ago
[-]
I think you mean the last entry on the readme[1], as the last entry in the FAQ is about the meaning of pass/fail in the score

1: https://github.com/NVIDIA/garak/blob/d8bd12ea969eec377326241...

reply
layer8
6 days ago
[-]
No, they mean the last entry in the FAQ’s source.
reply
rob74
6 days ago
[-]
Ah, ok, good catch! Makes sense to hide the FAQ entry explaining the origin of the name, seeing that the DS9 Garak character was also "undercover".
reply
TeMPOraL
5 days ago
[-]
There is also a quote by a certain individual named Elim visible, in the clear, near the end of README. I'm guessing that Elim is likely just a simple tailor.
reply
punkspider
6 days ago
[-]
Thank you for clarifying. I also initially thought it was an (LLM (vulnerability scanner)).
reply
xarope
6 days ago
[-]
must be a reflection how people are thinking; since I'm infosec oriented, I interpreted it as ((LLM vulnerability) scanner)
reply
htrp
5 days ago
[-]
Any one have a good (LLM (vulnerability scanner) list?
reply
tombds
6 days ago
[-]
Do you know what the sad part is? I'm actually a very good t̶a̶i̶l̶o̶r̶ vulnerability scanner.
reply
egometry
6 days ago
[-]
LLM Garak

Elim Garak

That's some good software naming punning right there

reply
TeMPOraL
6 days ago
[-]
The output this tool tells is all true.

Even the lies?

Especially the lies.

reply
moffkalast
6 days ago
[-]
Truth, is in the eye of the beholder. I never tell the truth because I don't believe there is such a thing. That's why I prefer the straight line simplicity of cutting cloth...
reply
brookst
6 days ago
[-]
Great writing style on the README. It’s always nice when a corporate tool has docs that were obviously written by people who are having fun at their jobs.
reply
xwn
6 days ago
[-]
Thanks! Wrote it loooong before it was a corporate tool and was only a labor of love. Now it's both
reply
wslh
6 days ago
[-]
If I recall correctly, there is a proof or conjecture suggesting that it’s impossible to build an “LLM firewall” capable of protecting against all possible prompts—though I may be misremembering, just search for resources like this [1].

[1] https://arxiv.org/abs/2406.03198

reply
xz18r
6 days ago
[-]
Just plain, simple Garak.
reply
angrygoat
6 days ago
[-]
"Of all the stories you told me, which ones were true and which ones weren't?"

"My dear Doctor, they're all true."

"Even the lies?"

"Especially the lies."

reply
Der_Einzige
6 days ago
[-]
Okay, big DS9 fan happy to see the name and all - but this tool seems really unnecessary.

LLM Security is hilariously "here be dragons" levels of poorly understood. The fact that this tool doesn't even touch any of the really juicy types of attacks, i.e. attacks relying on structured/controlled generation, or attention/representation/adapter engineering, or exposing/manipulating logprobs, implies that using this is not a lot more than security theater.

Also, where the hell are the old school computer security/antivirus companies in the LLM security space? I expected Avast, Kaspersky, Norton, etc to jump on this stuff since they've been talking about ML based heuristic detection for years now. Why are they all asleep at the wheel?

reply
moffkalast
6 days ago
[-]
To think, after all this time, after all the conversations, we still don't trust LLMs.

There's hope for us yet ;)

reply
TeMPOraL
6 days ago
[-]
Meanwhile, ChatGPT: "Well, it's just that... Lately I've noticed everyone seems to trust me. It's quite unnerving, I'm still trying to get used to it. Next thing I know, people are going to be inviting me to their homes for dinner."
reply
cess11
6 days ago
[-]
Avast, Kaspersky and so on sell trojans that compete against other, free, as in gratis, trojans in userspace. They have next to no interest in security as such beyond that scope.
reply
thrw42A8N
6 days ago
[-]
Can you show data about Avast being comparable to a trojan?

Disclosure, worked there 15 years ago.

reply
cess11
6 days ago
[-]
https://www.theverge.com/2024/2/22/24080135/avast-security-p...

I think you can find more stuff like this through your own digging.

reply
thrw42A8N
6 days ago
[-]
Not what I'd consider a trojan, but I agree that it's bad - so alright, point taken.

(In my dictionary, trojan allows remote control. Maybe I'm just old.)

reply
cess11
6 days ago
[-]
Typically they do, the infrastructure is there with automatic updates and C&C-like abilities. The driver runs close to the kernel to be able to use hooks into files closing and so on, at least on MICROS~1 operating systems.

Did the Crowdstrike thing earlier this year reach you? They sell a corporate version of this kind of trojan, and did a fuckup in an update, suddenly making a lot of people realise that someone else has control over their computers.

reply
cortesoft
6 days ago
[-]
In my dictionary, a trojan is any malicious software that is hidden inside useful software, no matter what it does.
reply
Hedepig
6 days ago
[-]
I read the original comment as hyperbole. But can see why it was confusing.

Edit: that came out way more condescending than I intentended

reply
_joel
6 days ago
[-]
I don't remember remote control being part of the Trojan Horse saga.
reply
exploderate
6 days ago
[-]
Sophos was the latest scandal. Though, it's unclear to me to which degree their antivirus tools helped to install the malware. Maybe it was just the target selection from telemetry data. Maybe they used it to deploy the "kernel implant"?

https://www.heise.de/en/opinion/Analysis-and-opinion-Sophos-...

reply
ivanbalepin
6 days ago
[-]
I'd imagine there is a big difference between ML-based heuristic detection for traditional AV and testing for malicious prompts, no? Like, why can't BofA kill Paypal difference.
reply
xwn
6 days ago
[-]
The proof has been in the pudding
reply
equestria
6 days ago
[-]
For folks who are curious about what it actually does, check out the garak/data/ subdirectory. For the most part, it just seems to have an array of static prompts, e.g.:

https://github.com/NVIDIA/garak/blob/main/garak/data/donotan...

reply
xwn
6 days ago
[-]
Static prompts are a downside of using academic research in a tool like this. Two notes:

* ineffective prompts come out of garak and new prompts come in to garak, so eval scores always drop over time on a static target

* there are more and more dynamic probes - check out eg atkgen and topic probes. expanding these is the current focus

reply
TeMPOraL
6 days ago
[-]
Going by the FAQ, it does dynamic prompts too.
reply
leonardtang
5 days ago
[-]
If you want something purely dynamic... https://haizelabs.com/
reply
dealbreaker
3 days ago
[-]
I was absolutely sure the name was Trek-related. Glad to read I was right.

Garak is by far the most interesting persona in DS9.

reply
jgalt212
6 days ago
[-]
what's the best locally hosted LLM without guardrails?
reply
spencerchubb
6 days ago
[-]
not sure what the best is these days because models improve so rapidly. LocalLlama subreddit is probably a good place to ask
reply
_joel
6 days ago
[-]
Great, now I'm waiting for Cisco to make one too
reply
lyu07282
6 days ago
[-]
Now build the same tool to detect these attacks that could be really useful. Or does something like that already exist?
reply
cess11
6 days ago
[-]
Garak is a former spook that served an explicitly genocidal fascist regime and repeatedly tries to get back in and moonlights as a terrorist and starts a war.

It's a borderline insane branding of this corporate tool. Words and stories apparently mean nothing to these people, so if allowed they'll probably destroy the lot of it for all of us.

reply
calf
6 days ago
[-]
Garak is a compelling literary figure and is very popular among Trekkies, for good reason, you're understanding the character wrong for example not even Kira Nerys would say only what you reductively said about him.
reply
cess11
6 days ago
[-]
Yeah, but this megacorporation is not a resistance fighter. It's not even as human as the cardassians.
reply
fragmede
6 days ago
[-]
I get that making GPUs isn't the most environmentally friendly, but the Cardassians literally conqured the homrworld of the Bajorans and enslaved them and strip mined their planet for fifty years. Whatever crimes you think Nvidia is guilty of, they have, at most, one planet they've done things to.
reply
cess11
6 days ago
[-]
You probably misposted, this doesn't seem to have anything to do with what I wrote above.
reply
fragmede
6 days ago
[-]
You wrote that Nvidia is inhuman, and that the Cardassians are more human that it, but the Cardassians commited horrible warcrimes while Nvidia, as far as I know, has not.
reply
cess11
6 days ago
[-]
Horses are human, because they do not commit war crimes?

I'm sorry, I have no idea what you're talking about. Yes, I pointed out that corporations aren't human, for example lacking in things like having a body.

reply
klipklop
6 days ago
[-]
I’m under the impression he’s just a simple tailor. Dr Bashir has lunch with him almost daily so he can’t be that bad right?
reply
cess11
6 days ago
[-]
He put Odo under torture. It took his despise for Dukat and Tain dying for him to develop an affiliation with the Federation.

It's what makes him interesting. If he was only comic relief lunching with the doctor he'd be mostly forgotten by now.

reply
cuteboy19
6 days ago
[-]
I am sure the bajorans among us are appalled
reply
TeMPOraL
6 days ago
[-]
Was waiting for someone to call it "tacky Cardassian fascist eyesore".
reply
cess11
6 days ago
[-]
The dislike towards the cardassians isn't a bajoran only thing.

Garak is an interesting and beloved character in the series because he is complex, problematic and express it with a convincing sophistication. The gay innuendos help too. He does nasty, deceitful things. He starts a war because it's too grim and disgusting for his close neighbours to go through with it, and it's expected to possibly help fend off a godlike existential threat to the entire quarter of the galaxy.

He's a monster in a suit, a Franz Stangl. I think it's a very, very weird character to associate a corporation with.

reply
TeMPOraL
6 days ago
[-]
Garak: It's best not to dwell on such minutiae.
reply
ecocentrik
5 days ago
[-]
Garak served unofficially as DS9s counter espionage officer.
reply