Garak, LLM Vulnerability Scanner
210 points by lapnect 7 days ago | 62 comments
  • TeMPOraL 7 days ago |
    The output this tool tells is all true.

    Even the lies?

    Especially the lies.

    • moffkalast 7 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...
  • xz18r 7 days ago |
    Just plain, simple Garak.
    • angrygoat 7 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."

  • tombds 7 days ago |
    Do you know what the sad part is? I'm actually a very good t̶a̶i̶l̶o̶r̶ vulnerability scanner.
  • brookst 7 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.
    • xwn 7 days ago |
      Thanks! Wrote it loooong before it was a corporate tool and was only a labor of love. Now it's both
  • Der_Einzige 7 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?

    • xwn 7 days ago |
      The proof has been in the pudding
    • moffkalast 7 days ago |
      To think, after all this time, after all the conversations, we still don't trust LLMs.

      There's hope for us yet ;)

      • TeMPOraL 7 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."
    • cess11 7 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.
      • thrw42A8N 7 days ago |
        Can you show data about Avast being comparable to a trojan?

        Disclosure, worked there 15 years ago.

        • 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.

          • 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.)

            • cortesoft 6 days ago |
              In my dictionary, a trojan is any malicious software that is hidden inside useful software, no matter what it does.
            • 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.

            • 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

            • _joel 6 days ago |
              I don't remember remote control being part of the Trojan Horse saga.
        • 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-...

    • 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.
  • equestria 7 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...

    • xwn 7 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

    • TeMPOraL 7 days ago |
      Going by the FAQ, it does dynamic prompts too.
    • leonardtang 5 days ago |
      If you want something purely dynamic... https://haizelabs.com/
  • mdaniel 7 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...
    • xwn 7 days ago |
      Check the last entry in the FAQ source
      • mdaniel 7 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...

        • layer8 6 days ago |
          No, they mean the last entry in the FAQ’s source.
      • 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".
        • TeMPOraL 6 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.
    • punkspider 6 days ago |
      Thank you for clarifying. I also initially thought it was an (LLM (vulnerability scanner)).
      • xarope 6 days ago |
        must be a reflection how people are thinking; since I'm infosec oriented, I interpreted it as ((LLM vulnerability) scanner)
    • htrp 6 days ago |
      Any one have a good (LLM (vulnerability scanner) list?
  • egometry 7 days ago |
    LLM Garak

    Elim Garak

    That's some good software naming punning right there

  • jgalt212 7 days ago |
    what's the best locally hosted LLM without guardrails?
    • 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
  • cess11 7 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.

    • TeMPOraL 7 days ago |
      Garak: It's best not to dwell on such minutiae.
    • 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.
      • cess11 6 days ago |
        Yeah, but this megacorporation is not a resistance fighter. It's not even as human as the cardassians.
        • 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.
          • cess11 6 days ago |
            You probably misposted, this doesn't seem to have anything to do with what I wrote above.
            • 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.
              • 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.

    • cuteboy19 6 days ago |
      I am sure the bajorans among us are appalled
      • TeMPOraL 6 days ago |
        Was waiting for someone to call it "tacky Cardassian fascist eyesore".
      • 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.

    • 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?
      • 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.

    • ecocentrik 6 days ago |
      Garak served unofficially as DS9s counter espionage officer.
  • wslh 7 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

  • 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?
  • _joel 6 days ago |
    Great, now I'm waiting for Cisco to make one too
  • dealbreaker 4 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.