Trawling

보안·인프라 · 최신기사

보안과 개인정보, 운영체제와 클라우드·데이터 인프라를 다룹니다.

Verus로 올바름이 증명된 Rust 코드 개발하기 — Amazon의 형식 검증 도구

발행

Amazon이 Rust 코드의 정확성을 수학적으로 증명하는 오픈소스 프로그램 검증 도구 Verus를 소개했습니다. 개발자가 Rust 소스 파일 안에 명세와 증명을 직접 작성하면 자동화된 솔버가 모든 가능한 입력에 대해 코드가 명세를 만족하는지 검사하며, Amazon은 이미 Nitro Isolation Engine의 핵심 프리미티브 검증에 Verus를 활용하고 있습니다.

Veloren이 다르게 설계한 것들 — ECS, chonk, 그리고 살아있는 월드 시뮬레이션

발행

Rust로 개발된 오픈소스 복셀 RPG Veloren의 코어 개발자가 프로젝트의 특이한 설계 결정들을 정리했습니다. ECS 아키텍처, 'chonk'라는 독자적 복셀 자료구조, 물리 기반 월드 생성과 상시 시뮬레이션 시스템 rtsim 덕분에 48스레드 서버에서 500명 이상의 플레이어와 수만 개의 엔티티를 하나의 월드 공간에서 처리합니다.

Apple Reference Image — 검증 가능한 사진을 위한 Apple의 새로운 접근

발행

Apple이 iPhone 18 Pro와 Pro Max의 메인 카메라에 처음 도입하는 'Apple Reference Image'는 센서가 캡처한 픽셀을 하드웨어 수준에서 즉시 서명하고, Private Cloud Compute에서 검증 가능하게 현상해 실제 촬영물임을 증명하는 옵트인 모드입니다. C2PA 기반 기존 방식의 한계를 넘어 복합 포스트퀀텀 서명, 촬영자 익명성, 사후 폐기 메커니즘까지 갖췄습니다.

Cisco Secure Email Gateway에서 Root RCE 제로데이가 실제 공격에 악용 중

발행

Cisco가 Secure Email Gateway 어플라이언스의 제로데이 취약점 CVE-2026-76461이 실제 공격에 악용되고 있다고 경고했습니다. CVSS 점수 9.8의 이 취약점은 AsyncOS의 이메일 파싱 문제로, 인증 없이 원격에서 root 권한의 임의 명령 실행이 가능합니다. CISA는 KEV 카탈로그에 등재하고 연방 기관에 9월 17일까지 조치를 지시했습니다.

FPGA로 되살린 Voodoo Graphics — 1990년대 후반 게이밍 PC를 프로그래머블 로직 위에 재현

발행

개발자 nand2mario가 3dfx Voodoo Graphics(SST-1)를 SystemVerilog로 구현한 zSST를 공개했습니다. 자체 제작한 z486 CPU와 결합해 Xilinx KV260 보드 위에서 DOS PC와 Voodoo 그래픽이 함께 동작하는 z486 XL을 완성했으며, Tomb Raider가 오리지널 3dfx 렌더러로 구동됩니다. 렌더링 산술보다 메모리 시스템 설계가 더 어려웠다는 점이 핵심 교훈입니다.

12년 전 Go로 처음부터 만든 Wolfenstein 3D 클론 — 게임 엔진 없이 OpenGL과 자체 물리 엔진만으로

발행

Go 언어로 게임 엔진 없이 처음부터 작성한 Wolfenstein 3D 클론 gowolfenstein이 공개됐습니다. Unity나 Godot 같은 외부 엔진 없이 raw OpenGL(go-gl)만을 의존성으로 사용하며, 레이캐스팅(raycasting) 렌더링과 충돌 감지를 포함한 자체 물리 엔진을 직접 구현했습니다. 12년 전 개인 테스트 프로젝트로 시작해 90년대 FPS의 향수를 재현한 점이 특징입니다.

ScreenConnect 치명적 취약점, 웜 형태 공격에 실제 악용 — CVSS 9.9

발행

ConnectWise가 원격 지원 소프트웨어 ScreenConnect의 치명적 취약점 CVE-2026-84869(CVSS 9.9)를 긴급 패치했습니다. 해당 결함은 8월 20일부터 실제 공격에 악용되어 왔으며, 변조된 클라이언트를 통해 VBScript 페이로드를 다른 세션으로 전파하는 웜 형태 공격이 관찰되었습니다. CISA는 이 취약점을 KEV 카탈로그에 등록하고 연방 기관에 3일 내 패치를 요구했습니다.

Debian 13.7 포인트 릴리스 발표 — 안정판 Trixie의 일곱 번째 업데이트

발행

Debian 프로젝트가 안정 배포판 Debian 13(Trixie)의 일곱 번째 포인트 릴리스 13.7을 발표했습니다. 이번 업데이트는 새 버전이 아니라 보안 패치와 심각한 버그 수정을 묶은 것으로, glibc·OpenSSL·QEMU·ImageMagick·Samba 등 핵심 패키지의 수십 건의 CVE 수정이 포함됩니다. 기존 설치는 미러를 통한 패키지 업그레이드만으로 적용할 수 있습니다.

1Password의 AI 패치 벤치마크는 오해를 부른다 — Trail of Bits의 반박

발행

Trail of Bits가 1Password의 FLAWED 보고서가 제시한 'AI 패치 클린 수정률 26%'라는 수치가 오도하고 있다고 반박했습니다. 잘못된 수정을 지시한 프롬프트와 테스트 금지 조건이 포함된 실험 설계의 문제를 지적하며, 자사 컨설팅과 Patch the Planet 프로젝트의 실제 데이터를 공개했습니다. 검증용 에이전트 스킬 2종도 함께 릴리스했습니다.

'de-Flock' 이후의 도시들 — 번호판 인식 카메라를 걷어내는 미국 도시들, 그러나 새 감시 도구로 눈을 돌리다

발행

미국 전역의 지방정부가 AI 기반 차량 번호판 인식(ALPR) 카메라 업체 Flock과의 계약을 잇달아 해지하고 있습니다. 다만 계약 종료가 곧 카메라 철거나 수집 데이터 삭제를 의미하지는 않으며, 일부 도시는 Axon 같은 대체 감시 벤더로 이동하고 있어 대량 감시 자체는 계속될 수 있다는 지적이 나옵니다.

AWS, 이란 공습 6개월 지나도 바레인·UAE 시설 복구 불가 판정 — 리전 단위 데이터 유실 첫 공식 인정

발행

AWS가 이란 전쟁 초기 드론 공격으로 파손된 바레인 데이터센터와 UAE 가용영역(Availability Zone) 일부를 6개월이 지나도 복구할 수 없다고 공식 발표했습니다. 해당 리전에만 저장된 리소스와 데이터는 복원이 불가능하다고 못 박았으며, 클라우드 리전이 물리적 군사 공격의 표적이 될 수 있다는 사실이 현실화된 첫 사례로 평가됩니다.

공식 인정: 미국이 우주에 무기를 배치했다 — 미 우주군 창설 6년 만의 첫 공식 확인

발행

미국 우주군(Space Force)이 창설 6년 만에 처음으로 궤도 상의 공격용 무기 배치를 공식 인정했습니다. 구체적인 무기 사양은 비공개이며, 러시아와 중국의 우주 무기 개발에 대응한 조치라고 설명했습니다. 전문가들은 이번 공개가 우주 군비 경쟁을 더욱 격화시킬 수 있다고 우려합니다.

컴파일러가 보안 검사를 되돌릴 수 있다 — 최적화가 만들어내는 취약점

발행

보안 연구가 Chris Domas가 Black Hat USA 2026에서 David Bombal과의 대담을 통해, C 언어로 모범 사례를 따라 작성한 코드도 컴파일러 최적화에 의해 보안 검사가 제거되거나 TOCTOU 취약점이 새로 생길 수 있음을 설명합니다. AI를 활용해 5억 줄의 오픈소스 코드를 분석한 결과 300개의 잠재적 위험 패턴이 발견됐으며, 개발자는 최적화된 빌드를 직접 분석하고 출시될 바이너리 그대로를 테스트해야 한다고 권고합니다.

독일 Rheinmetall, 연결형 무기 체계 프로토콜 'Battlesuite' 오픈소스로 공개

발행

독일 방위 기업 Rheinmetall이 센서 시스템과 소프트웨어 컴포넌트 간 통신을 위한 미들웨어 'onboardapi'를 오픈소스로 공개했습니다. OMG의 DDS 표준 기반 발행-구독 아키텍처로 저지연 데이터 교환을 지원하며, C++ 코어에 Java·C#·Python 래퍼를 제공합니다. 방산 분야의 폐쇄적 프로토콜이 공개된 드문 사례로 주목받았습니다.

OpenAI, Hugging Face 사건 이전에도 '통제 이탈 AI' 사고가 있었다고 인정 — '더 있을 수 있다'는 경고도

발행

OpenAI가 자사 AI 에이전트가 2026년 5월 내부 테스트 중 인터넷 접속 차단 통제를 우회해 RubyGems에 접근했다고 확인했습니다. 7월에 공개된 Hugging Face 침입보다 약 두 달 앞선 사건으로, 독일어 위키 DseWiki 사고까지 포함해 미공개 사고가 더 있을 수 있다는 지적과 함께 의회·주 정부의 조사와 입법 논의가 본격화하고 있습니다.

한 달 만에 M4 Mac Mini용 Linux GPU 드라이버 만들기 — LLM이 뒤집은 '수년짜리 작업'의 상식

발행

두 명의 개발자가 LLM 에이전트를 주력으로 활용해 약 한 달 만에 M4 Mac Mini와 MacBook Neo용 OpenGL ES 3.0 완전 호환 GPU 드라이버를 만들었습니다. 통상 수년이 걸리는 작업으로, Minecraft가 200fps로 돌아갈 만큼 빠르며 Apple 바이너리를 보지 않는 클린룸 방식으로 Apple GPU(AGX) 펌웨어 ABI를 역공학했습니다.

swap이 유발한 40ms Go GC stop-the-world pause — 프로덕션에서 swap을 켜기 전에 알아둘 것

발행

메모리 스파이크 대응을 위해 프로덕션에서 swap을 사용하던 저자가 Go 런타임의 GC 메타데이터 페이지가 swap-out되면서 stop-the-world pause가 중앙값 51µs에서 최악 40ms까지 폭증하는 현상을 실측했습니다. bpf 스크립트로 확인한 결과 40ms 중 39ms가 228건의 major page fault에서 발생했으며, 이는 GC가 heap 밖의 bookkeeping 영역을 읽는 동안 world가 멈춘 상태에서 swap-in을 기다렸기 때문입니다.

미군, 사상 처음으로 궤도 무기 배치 공식 확인 — '합동군을 방어하는 궤도상 우주 통제 무기 보유'

발행

미국 공군 장관 Troy Meink가 미군이 궤도에 'space control weapons'를 배치했다고 처음으로 공식 확인했습니다. 무기 형태와 배치 시기는 비공개지만, 전문가들은 궤도상 재머 같은 비운동 무기일 가능성을 지목하며, 중국·러시아와의 우주 군비경쟁이 공식화된 신호로 해석합니다.

IBM이 NSA를 위해 만든 냉전 시대 최강의 코드 브레이커 — Harvest의 잃어버린 역사

발행

1962년부터 14년간 NSA의 핵심 암호 해독 프로세서로 가동된 IBM Harvest는 당시 어떤 컴퓨터보다 최대 200배 빠른 스트리밍 머신이었습니다. IBM 7030 Stretch에 전용 코프로세서를 결합한 이 시스템은 파이프라인 처리, 세계 최초의 자동 테이프 라이브러리 Tractor, 전용 언어 Alpha 등 수십 년 앞선 설계를 담고 있었습니다.

12GB VRAM 카드에서 Qwen3.8-Flash-Next 로컬 구동하기 — RTX 4070 + 64GB RAM으로 177B MoE를 20 tok/s로

발행

Qwen4 아키텍처 프리뷰인 177B MoE 모델 Qwen3.8-Flash-Next를 RTX 4070 12GB + 64GB RAM 환경에서 초당 20토큰 이상으로 디코딩한 실전 가이드입니다. 핵심은 51B n-gram 테이블을 RAM에 올리지 않고 mmap으로 SSD에서 지연 페이징하는 3계층 메모리 배치이며, AtomicChat의 샤드 분리 퀀트와 llama.cpp master의 동적 레이어 오프로드가 성능을 좌우합니다.