# The DAO 해킹 ## 개요 **The DAO**(Decentralized Autonomous Organization) 해킹 201년 블록체인술 역사상 가장 주목은 보안 사고 중 하나로, 이더리움(Ethereum) 플랫폼 위에서되던 분산 자율 조직(The DAO)이 심각한 스마트 계약 취약점을 악용당해 약 360만 이더(ETH)가 탈취된 사건이다....
검색 결과
"형식 검증"에 대한 검색 결과 (총 5개)
# 형식 오류 개요 **형식 오류Format Error)는 과학 및 데이터 정제 과정에서 자 발생하는 문제 중 하나로, 데이터가 기대되는 구조나 형식을 따르지 않을 때 나타납니다. 이러한 오류는 데이터 수집, 저장, 전송, 변환 과정에서 다양한 원인으로 발생할 수 있으며, 분석의 정확성과 시스템의 안정성에 부정적인 영향을 미칠 수 있습니다. 형식 오류...
# Types and Programming Languages ## 개요 《**Types and Programming**(이하 *TAPL*)는 벤자민 C. 파이어스(Benjamin C.)가 저술한로그래밍 언어론과 형식스템(formal type)에 관한 대표적인 교과서입니다. 이 책은 프로그래밍어의 설계, 구현 분석에 있어 **타입 이론**(type the...
# 데이터 검증 ## 개 **데이터 검증**(Data)은 데이터의 정확, 일관성, 완전성 및 신뢰성을 보장하기 위해 수행되는 일련의 절차와 기법을 의미합니다. 데이터 과학 및 정보 시스템 분야에서 데이터 검증은 데이터 분석, 모델링, 의사결정 과정의 신뢰도를 확보하는 핵심 단계로, 오류가 포함된 데이터가 후속 프로세스에 영향을 미치는 것을 방지하는 데 ...
# Yosys ## 개요 **Yosys**는 오픈소스 하드웨어 설계용 **Verilog 합성 툴**(Verilog Synthesis Tool)로, FPGA(Field-Programmable Gate Array) ASIC(Application-Specific Integrated Circuit) 설계 과정에서 하드웨어 기술 언어(HDL)로 작성된 Veril...