如果你重视零知识证明技术信息的实效性和信息源质量的意义,不想娱乐至死、短视投机、无关广告、推荐算法、劣币驱逐良币的泥沙裹挟迷失,请多支持我们(包括给予赞助支持),让这一汨清流继续流淌~
Latest blog post by VitalikButerin covers Circle STARKs: how they can be implemented, how they're pushing STARK efficiency to the limit, and what’s next (optimizing for better UX and parallelization).
AlphaProof is a system that trains itself to prove mathematical statements in the formal language Lean. It couples a pre-trained language model with the AlphaZero reinforcement learning algorithm.
Alin Tomescu 关于 Schnorr 签名的博客,Alin 的博客简洁清晰,具有很好的可读性,不管是初学者还是工程师都能够比较容易的理解协议的关键和数学核心。这篇博客介绍了:1. Schnorr 签名的历史 2. 定义 3. 批量验证技巧 4.(R,s)与(e,s)表示的对比 5. EdDSA 和 Ed25519 6. (错误)实现
By StarkWare the first research paper on STARK over Bitcoin. This paper is the most practical covenant-rollup research ever published.
@wyatt_benno from @novanet_zkp introduced the concept of #RunawayZK, i.e. how zkVMs, proof composition and Non-Uniform Incremental Verifiable Computation can enable specialized proving schemes.
In @SoorajKSaju's latest writeup, he details how zkLogin makes accessing crypto "as simple as sending an email" – delivering web3 tech with a web2-like user experience.
jHan 的视频介绍,包括什么是自然数?整数?有理数?有理数?虽然我们可能对这些数和集合有直观的理解,但要真正正式构建这些集合却并不那么容易。为此,我们必须使用集合论的一些公理,并仅使用这些假设,正式描述这些无限集合应该是什么样子。我们将开发集合论中的各种工具,如有序对、关系、排序和等价类,从零开始,从无到有,建立所有的实数。 We will develop various tools in set theory, like ordered pairs, relations, ordering, and equivalence classes, to begin with only zero, and from nothing, build all of the real numbers.
zkSecurity 联合创始人 David 关于 SNARK 和 SNARG 以及 zk-SNARK 和 STARK 定义范围的评论,他认为考虑到所有的方案的验证都比直接运行原始计算更快,保留 succinct 给某一类单独方案是没有必要的。 I want to also call STARKs and bulletproofs SNARKs.
Internet-Draft submitted! A formal standardized specification is a requirement for certain systems and organizations (for ex., OpenSSL). We hope the IETF crypto working group recognizes the value and adoption of BLAKE3.
If you have n equations in n unknowns over a finite field with q elements, how likely is it that the system of equations has a solution?
They measured throughput for proving invocations of the Poseidon2 hash over M31 field on a MacPro M3.
Gevulot announced ZkBoost, which can connect all proof networks such as proof marketplaces, prover networks and proof aggregators.
Noether provides traits and blanket implementations for algebraic structures, from basic ones like magmas to more complex ones like fields. It leans heavily on the basic traits available in std::ops and num_traits.
shinigami is a library enabling Bitcoin Script VM execution in Cairo, thus allowing the generation of STARK proofs of generic Bitcoin Script computation. shinigami是一个可以在 Cairo 中执行比特币脚本虚拟机的库,因此可以生成通用比特币脚本计算的STARK证明。
Optimized Noir library that evaluates RSA signatures.
A simple template to generate ZK proofs with Noir on mobile using React Native
Donate(ERC20) : 0x18226b84677a7a59D0A498d428feE9208105D0F7
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!