输入要查询的单词:
interactive proof system
查词链接:
https://www.dute.org/dict/interactive_proof_system
复制链接 交互证明系统
查看英英释义
abstract:
In computational complexity theory, an interactive proof system is an abstract machine that models computation as the exchange of messages between two parties. The parties, the verifier and the prover, interact by exchanging messages in order to ascertain whether a given string belongs to a language or not.
网络释义
交互式证明系统
... 交互式*作系统 interactive operating system 交互式证明系统 interactive proof system 交互式教学系统 interactive instructional system ...
常用短语
- knowledge interactive proof system知识交互式证明系统
- zero-knowledge interactive proof system零知识交互式证明系统
- graph isomorphism interactive proof system图同构的交互式证明系统
- quadratic residues interactive proof system平方剩余交互式证明系统
正在查询...
{error}
你是不是想查找:
- {typos}
{word}
{phones} {trans} {trans_ee} {exam_types}{web_trans} {variants} {phrases} {synonyms} {rels} {discriminations} 查词链接:
{link}
复制链接{phones}
{text}:[{value}]
{trans}
{trans}
{pos}
{tran}
{tran}
查看英英释义
{trans}
{pos}
{list} {tran}
{words}{word}同义词: {words}
{pos}
{words}
{exam_types}
单词变体
- {variants}
常用短语
- {phrases}
网络释义
{web_trans}
{tran}
{detail}
近义词
{synonyms}
{pos} {tran}
{words}
同根词
{rels}
{pos}
{words}
{word}{tran}
词语辨析
{discriminations}
{num}、{title}
{description}- {usages}
{description}