Nebula: Proving Machine Executions via Folding Schemes.
本文提出了一种名为Nebula的新型系统，通过折叠方案（folding schemes）来高效证明任意机器（如CPU）的执行轨迹。传统的可验证计算（verifiable computation）方案面临证明生成开销大、验证效率低等问题。Ne
#零知识证明
共收录 2 条相关情报。
← 返回所有主题Proof of Source of Funds: Efficient On-chain Provenance of Cryptoassets
本文提出了一种名为“资金来源证明”（Proof of Source of Funds, PoSoF）的新型密码学框架，旨在解决去中心化金融（DeFi）和隐私增强技术中日益严格的监管合规问题。当前主流做法依赖于中心化区块链情报公司进行二元包含