本文介绍了一种开源的基准测试框架,用于比较现有开源zkTLS库的性能。研究表明,Primus提出的garble-then-prove系统在速度上领先于其他MPC-TLS解决方案,同时发现一些Proxy-TLS实现存在安全缺陷。此外,文章详细探讨了zkTLS的TLS协议概述、两种主要方法(MPC-TLS和Proxy-TLS)的实现细节及其性能测试。
本文主要介绍了作者计划构建一个高性能的SSZ(Simple Serialize) Rust实现,并通过基准测试套件,在真实的区块链数据上对不同的SSZ实现进行比较。目标是优化以太坊协议中的序列化过程,提高编码/解码的效率,并探索锁步编码和哈希等方法以进一步提升性能。同时,作者还计划构建一个SSZ基准测试套件,用于评估各种SSZ实现的性能,并以图表的方式直观地展示它们的性能差异。
本文主要介绍了Constantine在区块链和零知识证明等领域的性能优势,以及如何通过基准测试来衡量其性能。文章详细对比了不同编译器(如GCC和Clang)在优化大整数和密码学代码方面的差异,并强调了使用内联汇编以确保性能和避免分支的重要性,Constantine通过优化代码大小和栈使用量,以及避免堆分配,适用于资源受限的设备。
本文提供了JUMPDEST分析基准测试的详细结果,包括分析时间、字节码大小范围及性能比率等。测试涵盖了JUMPDEST-only字节码和PUSH1 0x5b序列的性能,结果显示随着字节码大小的增加,分析时间和性能比率也相应增加。
本文分析了将Poseidon哈希函数作为EVM预编译合约的计算成本。EIP-5988提议将Poseidon哈希函数添加为预编译合约,但其在实施前还需要更多的论证。本文提出了一个项目,旨在设计和实施基准测试,以评估Poseidon在不同轮常量、安全级别和S盒下的运行情况,并与现有的预编译哈希函数进行比较,同时用Solidity实现智能合约以进行gas成本估算。
Ingonyama 正在为研究人员和实践者提供 10 万美元的资助,以推进 ZK(零知识证明)加速技术。资助方向包括:学生使用 Icicle 库进行研究、改进 Icicle 中现有加速原语的性能、将现有 ZK 协议移植到 Icicle、向 Icicle 添加新的原语以及将 ZK 基准测试与 Icicle 进行比较。Ingonyama 还将为获得资助者提供技术指导和 GPU 访问权限