IT

Circom (サーコム)

Circom 読み:さーこむ
とは、

IT

ゼロ知識証明で使われるプログラミング言語

概要

詳細≫

Circomは、暗号学におけるゼロ知識証明の生成に特化したプログラミング言語。

Circomでは、ユーザが証明回路を定義し、その回路を用いて効率的な証明を生成できる。

数学的な回路や条件を記述することで、秘密情報の証明を行うための回路を設計し、Circomはこれらの回路コンパイルして証明生成に必要なデータを出力する。

由来

詳細≫

Circomの語源については、公式な発表や明確な情報が存在しないため、確定的な説明は難しい。一般的には、Circomが「Circuit Compiler」の略称であるという説明が多いが、公式に確認されているわけではない。

Circomは、ゼロ知識証明システムにおける算術回路を記述するためのプログラミング言語およびコンパイラであることから、その名前が回路(Circuit)とコンパイラ(Compiler)に関連しているという推測がなされている。

関連記事

ゼロ知識証明

Fiat-Shamirヒューリスティック (フィアットシャミアヒューリスティック)

Fiat–Shamir heuristic
Fiat-Shamirヒューリスティック
読み:フィアットシャミアヒューリスティック
とは、

暗号学

『対話型の証明プロトコルを非対話型に変換する手法

概要

詳細≫

Fiat–Shamirヒューリスティックは、暗号学におけるゼロ知識証明のプロトコルを非対話型に変換するための手法である。

もともとは複数回のやり取りが必要な対話型プロトコルを、乱数生成とハッシュ関数を利用して、証明者と検証者の間の通信を一度にまとめることが可能となる。

これにより、効率的かつ安全に証明を行うことができる。この手法は、デジタル署名ブロックチェーン技術などで広く使用されている。

ただし、Fiat–Shamirヒューリスティックは経験則的な手法であり、理論的には安全性の保証が不十分な場合もあるため、特定の状況では使用が制限されることがある。

由来

詳細≫

1986年にAmi Fiat (アミ・フィアット)とAdi Shamir (アディ・シャミア) によって提案されたことから。

関連記事

heuristic

CPU (シーピーユー)

Central Processing Unit 読み:セントラルプロセッシングユニット
CPU 読み:シーピーユー
とは、

概要

CPUとは、Central Processing Unitの略で、コンピュータにおける計算処理や命令実行を担う中核装置を意味する言葉である。
日本語では「中央処理装置」と呼ばれる。

CPUは、プログラムから与えられた命令を読み取り、演算、制御、データ処理などを高速で実行する役割を持つ。
コンピュータ内部では、四則演算、条件分岐、データ転送など、さまざまな処理がCPUを中心に進行する。

CPUの性能は、クロック周波数、コア数、キャッシュ容量、アーキテクチャなどによって大きく左右され、コンピュータ全体の処理速度に大きな影響を与える。

語源

詳細≫

Centralは「中心」、Processingは「処理」、Unitは「装置・単位」を意味する。
つまりCPUは「中心となって処理を行う装置」を意味し、コンピュータの中核的な演算・制御装置を指す言葉となった。

同義語

央処理装置 (ちゅうおうしょりそうち)

processor (プロセッサ)

関連記事

Processor (プロセッサ)

processor 読み:プロセッサー
とは、

【名

『物事を処理する人や機器

IT

CPU

詳細≫

コンピュータにおけるプロセッサとは、コンピュータ内で命令を実行し、計算や処理を行う中央処理装置。

「コンピュータの脳」とも呼ばれ、プログラムの指示に従って計算やデータ処理を行う。

語源

詳細≫

process「処理する」-or「人、もの」という意味から。

関連記事

process

CPU

算術回路 (さんじゅつかいろ)

算術回路 読み:サンジュツカイロ
とは、 

IT

『計算を行うための回路

概要

詳細≫

算術回路とは、数学的な演算(加算、減算、乗算、除算など)を行うための回路のこと。

主にコンピュータのプロセッサやデジタル計算機において使用される。

関連記事

回路