제목, 요약, 본문을 검색해 흩어진 정보를 연결하세요.
마이크로소프트 연구소는 고 표현력의 의미 기반 대화형 데이터 시각화를 구축하기 위한 전용 언어인 Flint-interactive를 발표했습니다. 이 언어는 컴파일러를 통해 사용자의 동작(예: 클릭, 필터링)을 자동으로 의미적 이벤트로 매핑하고, 고수준 연산자를 활용해 차트, 테이블, 텍스트 등 다양한 요소 간의 연동 업데이트를 구동함으로써, AI 에이전트가 신뢰할 수 있는 대화형 시각화를 생성하는 데 필요한 비용과 개발 복잡성을 크게 절감합니다.
마이크로소프트 리서치가 영지식 가상머신 마그네타를 출시하며, 영지식 증명의 오랜 세 가지 주요 한계—낮은 생성 효율, 높은 개발 장벽, 후양자 보안 부족—을 단일 시스템에서 최초로 동시에 해결했습니다. 이는 러스트, 고, C 등 주요 프로그래밍 언어로 작성된 프로그램을 직접 컴파일하여 실행하고 검증 가능한 증명을 자동으로 생성할 수 있도록 지원합니다. 평균적으로 기존 최고 속도의 zkVM보다 10~39배 빠르며, 증명 검증에는 약 12밀리초만 소요됩니다. 또한 보안 기반은 SHA-256, SHA-3 등 NIST에 의해 표준화되고 수십 년간 암호학적 검증을 거친 표준 해시 함수에만 의존하므로 신뢰할 수 있는 설정이나 타원곡선, 또는 아직 충분히 검증되지 않은 새로운 수학적 가정이 필요하지 않습니다.
