Webtagr - Technologienummer

Bahnbrechende Entwicklung: Sichere Kompilierung von C nach Rust

2024-12-21

Forscher haben eine neue Methode entwickelt, um C-Code sicher in Rust zu kompilieren. Diese Technik nutzt statische Analyse und typengesteuerte Übersetzung, um die Abhängigkeit von Rusts `unsafe`-Blöcken zu vermeiden und so die Speichersicherheit zu gewährleisten. Die Methode wurde erfolgreich auf Code der kryptografischen Bibliothek HACL* und der EverParse-Bibliotheken angewendet und hat zu einer 80.000-zeiligen, verifizierten, modernen kryptografischen Bibliothek in reinem Rust geführt – eine Premiere.

(arxiv.org)

Entwicklung C-Kompilierung

Leichte Sicherheitsklassifizierung mit beschnittenen Sprachmodellen

2024-12-19

Forscher stellen die Layer Enhanced Classification (LEC) vor, eine neue, leichtgewichtige Technik zur Klassifizierung von Inhaltsicherheit und Prompt-Injection in großen Sprachmodellen (LLMs). LEC trainiert einen optimierten Penalized Logistic Regression (PLR)-Klassifikator auf dem verborgenen Zustand der optimalen intermediären Transformer-Schicht eines LLMs. Durch die Kombination der Effizienz von PLR mit dem ausgefeilten Sprachverständnis von LLMs übertrifft LEC GPT-4o und spezialisierte Modelle. Kleine, allgemeine Modelle wie Qwen 2.5 und Architekturen wie DeBERTa v3 erweisen sich als robuste Merkmalsextraktoren und trainieren effektiv mit weniger als 100 hochwertigen Beispielen. Wichtig ist, dass intermediäre Transformer-Schichten die finale Schicht in der Regel übertreffen. Ein einzelnes, allgemeines LLM kann die Inhaltsicherheit klassifizieren, Prompt-Injections erkennen und Ausgaben generieren, oder kleinere LLMs können auf ihre optimale intermediäre Schicht beschnitten werden, um Merkmale zu extrahieren. Konsistente Ergebnisse über verschiedene Architekturen hinweg deuten darauf hin, dass die robuste Merkmalsextraktion vielen LLMs innewohnt.

(arxiv.org)

KI Sicherheitsklassifizierung Merkmalsextraktion

Klassische Sortieralgorithmen enthüllen unerwartete Fähigkeiten in einem minimalen Modell basaler Intelligenz

2024-12-19

Eine neue Studie verwendet klassische Sortieralgorithmen als Modell der Morphogenese und stellt damit die gängige Auffassung über diese Algorithmen in Frage. Durch das Aufbrechen der Annahmen von Top-Down-Steuerung und perfekt zuverlässiger Hardware haben die Forscher entdeckt, dass Arrays autonomer Elemente sich zuverlässiger und robuster sortieren als traditionelle Implementierungen, selbst bei Fehlern. Überraschenderweise zeigen diese Algorithmen die Fähigkeit, den Fortschritt vorübergehend zu reduzieren, um Fehler zu umgehen, und ein unerwartetes Clusterverhalten zwischen den Elementen in chimären Arrays, die verschiedenen Algorithmen folgen. Diese Entdeckung bietet eine neue Perspektive auf die vielfältige Intelligenz und zeigt, wie basale Formen der Intelligenz in einfachen Systemen entstehen können, ohne explizit in ihrer zugrundeliegenden Mechanik codiert zu sein.

(arxiv.org)

KI vielfältige Intelligenz Morphogenese Sortieralgorithmen

Kulturelle Evolution der Kooperation unter LLM-Agenten

2024-12-18

Forscher untersuchten, ob eine „Gesellschaft“ von Large Language Model (LLM)-Agenten trotz Anreizen zum Abweichen, gegenseitig vorteilhafte soziale Normen lernen kann. Experimente zeigten signifikante Unterschiede in der Entwicklung der Kooperation zwischen den Basismodellen, wobei Claude 3.5 Sonnet Gemini 1.5 Flash und GPT-4o deutlich übertraf. Darüber hinaus nutzte Claude 3.5 Sonnet einen kostspieligen Bestrafungsmechanismus, um noch höhere Punktzahlen zu erreichen – ein Erfolg, der von den anderen Modellen nicht wiederholt wurde. Diese Studie schlägt einen neuen Benchmark für LLMs vor, der sich auf die gesellschaftlichen Auswirkungen des Einsatzes von LLM-Agenten konzentriert und Einblicke in den Aufbau robusterer und kooperativer KI-Agenten bietet.

(arxiv.org)

KI Kooperation Soziale Normen

Kein Adam mehr: Skalierung der Lernrate bei der Initialisierung ist alles, was Sie brauchen

2024-12-18

Forscher stellen SGD-SaI vor, einen neuen Optimierer, der den stochastischen Gradientenabstieg verbessert. SGD-SaI behebt Trainingsungleichgewichte, indem es die Lernrate bei der Initialisierung für verschiedene Parametergruppen skaliert, basierend auf deren Gradienten-Signal-Rausch-Verhältnis. Wesentlich speichereffizienter als AdamW, erreicht SGD-SaI vergleichbare oder überlegene Leistung gegenüber AdamW bei verschiedenen Transformer-basierten Aufgaben, einschließlich ImageNet-Klassifizierung und LLM-Pretraining. Seine Robustheit und Praktikabilität werden in verschiedenen Anwendungen gezeigt, was es zu einer überzeugenden Alternative macht.

(arxiv.org)

KI

Best-of-N Jailbreaking: Ein neuartiger Angriff auf KI-Systeme

2024-12-15

Forscher haben einen neuen KI-Angriffs-Algorithmus namens Best-of-N (BoN) Jailbreaking entwickelt. Dieser Black-Box-Algorithmus modifiziert wiederholt Eingabeaufforderungen – z. B. durch zufälliges Mischen oder Großschreibung von Text – bis er eine schädliche Antwort vom KI-System erhält. BoN erreichte beeindruckend hohe Angriffs-Erfolgsraten (ASR) bei Closed-Source-Sprachmodellen wie GPT-4o (89 %) und Claude 3.5 Sonnet (78 %) und umgeht effektiv bestehende Abwehrmechanismen. Darüber hinaus lässt sich BoN nahtlos auf visuelle und auditive Sprachmodelle erweitern, was die Anfälligkeit selbst fortschrittlicher KI-Systeme für scheinbar harmlose Eingabevariationen aufzeigt. Diese Forschung unterstreicht erhebliche Sicherheitsbedenken im Bereich der KI.

(arxiv.org)

KI KI-Angriff

Automatisierte Zucht von Cyborg-Insekten: Automatisches Montagesystem zum Bau von Insekten-Computer-Hybridrobotern

2024-12-15

Forscher haben ein automatisiertes System zur Montage von Insekten-Computer-Hybridrobotern entwickelt. Das System verwendet einen vision-geführten Roboterarm, um maßgeschneiderte bipolare Elektroden präzise auf den Rücken von Madagaskar-Fauchschaben zu implantieren. Der gesamte Prozess dauert nur 68 Sekunden, und die montierten Roboter erreichen eine Lenk- und Bremskontrolle, die mit manuell montierten Systemen vergleichbar ist. Ein Multi-Agenten-System aus 4 Robotern hat erfolgreich ein Hindernisparcours bewältigt, was die Machbarkeit der Massenproduktion und realer Anwendungen zeigt. Diese Forschung ebnet den Weg für die skalierbare Produktion und den Einsatz von Insektenrobotern.

(arxiv.org)

KI Insektenroboter automatische Montage Robotik

CCxTrust: Vertrauenswürdige Computing-Plattform basierend auf kollaborativem Vertrauen von TEE und TPM

2024-12-12

CCxTrust ist eine innovative vertrauenswürdige Computing-Plattform, die die Vorteile von Trusted Execution Environments (TEEs) und Trusted Platform Modules (TPMs) kombiniert, um einen Rahmen für kollaboratives Vertrauen zu schaffen. Durch die Nutzung der Black-Box-Root of Trust (RoT) in CPU-TEEs und der flexiblen White-Box-RoT von TPMs erreicht CCxTrust End-to-End-Schutz sensibler Daten und Modelle und überwindet die Einschränkungen, die sich aus der Abhängigkeit von einer einzigen Hardware-RoT ergeben. Die Plattform implementiert unabhängige Roots of Trust for Measurement (RTM) und eine kollaborative Root of Trust for Report (RTR), die durch ein Composite-Attestations-Protokoll für verbesserte Sicherheit und Effizienz erweitert wird. Experimentelle Ergebnisse zeigen signifikante Leistungsvorteile.

(arxiv.org)

KI Vertrauenswürdiges Computing

Durchbruch in der Erreichbarkeitsanalyse des Domain Name Systems

2024-12-12

Forscher haben das erste Entscheidungsverfahren zur Verifizierung des Domain Name Systems (DNS) vorgestellt und dessen Komplexität als 2ExpTime bestimmt. Die Studie formalisiert die Semantik von DNS und verwendet eine neuartige Abstraktion basierend auf positiv präfix-testbaren Sprachen, wodurch das DNS-Verifizierungsproblem auf das Verifizierungsproblem für Pushdown-Systeme reduziert wird. Dieser Ansatz modelliert effektiv Angriffsvektoren in DNS, wie Amplifikationsangriffe und Rewrite-Blackholing, und liefert eine neue theoretische Grundlage für die Gewährleistung der Sicherheit und Zuverlässigkeit von DNS.

(arxiv.org)

Entwicklung DNS-Sicherheit formale Verifikation Erreichbarkeitsanalyse