본문 바로가기

전체 글

(28)
trinomial NTT를 위한 초기 변환 보호되어 있는 글입니다.
ML-KEM (Kyber) - FO transform
Fujisaki–Okamoto(FO) 변환 Fujisaki–Okamoto(FO) 변환이란? (CPA → CCA, PKE → KEM 관점 정리)공개키 암호(PKE)는 보통 CPA 보안(선택평문공격 안전성)을 먼저 만족하고, 실제 시스템에서 필요한 CCA 보안(선택암호문공격 안전성)을 얻기 위해 추가 구조가 필요합니다.Fujisaki–Okamoto(FO) 변환은 바로 그 “추가 구조(레시피)”를 제공하는 대표적인 방법입니다.한 줄 요약FO 변환 = (해시로 랜덤성 고정) + (재암호화로 유효성 검증) + (해시로 키 추출)이를 통해 CPA-안전한 PKE로부터 ROM(Random Oracle Model)에서 CCA-안전한 PKE/KEM을 구성합니다.1. 왜 FO 변환이 필요한가?순수 PKE(공개키 암호)의 한계PKE는 암호화 시 랜덤 코인을 사용합니다..
SHAKE / SHA / Keccak SHA / SHAKE / Keccak은 대표적인 HASH함수이다.오늘은 차이점과 내부 함수등을 알아보려고 한다.  What different SHA-Keccak-SHAKESHA (Secure Hash Algorithm)Keccak을 기반으로 하는 NIST 표준 HASH 함수KeccakSponge 함수 구조 사용 알고리즘SHAKE (Secure Hash Algorithm with KEccak)SHA-3 표준의 일부로 유연한 출력 길이를 제공하는 확장 가능한 출력 함수(XOF)SHA-3 / SHAKE 모두 Keccak 함수를 기반으로 만들어진 해시함수이다.따라서 Keccak의 내부를 살펴본다. Keccak and Sponge StructureProcess 1 : PaddingKeccak에서 사용하는 Padd..
ZedBoard 뜯어보기 내부 구성요소 뜯어보기ZEDBorad (Zynq XC7Z020-1CLG484)User Configured Logic (Prog. Logic)Pmod (4) Compatible:Pmod 인터페이스를 통해 다양한 외부 모듈을 쉽게 연결 가능FMC (LPC):다양한 고속 데이터 전송을 위한 FPGA Mezzanine Card (FMC) Low Pin Count (LPC) 인터페이스를 제공Audio CODEC:오디오 입력과 출력을 처리할 수 있는 CODEC 칩이 포함HDMI Out:HDMI 출력을 통해 디스플레이 장치에 비디오 신호를 전송VGA:VGA 출력을 통해 디스플레이 장치에 아날로그 비디오 신호를 전송128x32 OLED:작은 OLED 디스플레이를 제어Clock:시스템의 클럭 신호를 제공XADC:아날로그..
# FPGA IP와 Verilog 활용 수업 요약 Block design, IP와 같이 하드웨어를 vivado에서 설계하고 이를 비트스트림으로 출력해 vitis를 통해 소스코드 없이도 FPGA가 정상적으로 비트스트림대로 동작하는 것을 목표로 하였다.IP (Intellectual Property)FPGA 디자인에서 재사용 가능한 논리 블록 또는 모듈다양한 기능 수행 가능기본 블록: 논리 게이트, 플립플롭, 멀티플렉서 등과 같은 기본 디지털 회로.통신 인터페이스: UART, SPI, I2C, Ethernet 등과 같은 통신 프로토콜을 구현하는 블록.프로세서 및 컨트롤러: MicroBlaze, ARM Cortex-M 등과 같은 마이크로프로세서 코어 및 메모리 컨트롤러.메모리: FIFO, RAM, ROM 등과 같은 메모리 블록.DSP 블록: 곱셈기, 누산기, ..
FPGA TestBench 및 기초 지식 이 글은 "설계독학맛비's 실전 Verilog HDL Season 1 (Clock부터 Internal Memory까지)"를 인프런에서 수강하고 정리하며 올린 글이다.코드는 공부하며 따로 만들어본 것이며 맛비님의 코드는 아니다.https://www.inflearn.com/course/%EC%8B%A4%EC%A0%84-%EB%B2%A0%EB%A6%B4%EB%A1%9C%EA%B7%B8/dashboard얻은 점TestBench Code 짜는 법Clock 및 reset등 사용 방법Verilog HDL..?verilog : Verification LogicHDL : Hardware Description Language즉 Verilog HDL은 Hardware 설계와 검증에 모두 사용되는 도구임TestBench검증에..
Verilog file 단독 simultaion 해보기 2024.09.06아직 TestBench나 Simulation등을 정확히 이해하지 못하고 있으며 GPT나 유튜브를 보며 실험 중이다. 따라서 내가 서술하는 내용은 정확하지 않을 가능성이 매우 높다.`timescale 1ns / 1ps // 시뮬레이션 시간 단위와 정밀도를 설정module js_240906; reg clk; // 클럭 신호를 저장할 레지스터 선언 // Clock generation process initial begin clk = 0; // 초기 클럭 신호를 0으로 설정 forever #5 clk = ~clk; // 5ns마다 클럭 신호를 토글 (0 -> 1, 1 -> 0) end // Testbench process init..