找到约 13 条结果

文章 使用 Zama 的 Concrete ML 和全同态加密赢得 TikTok 黑客马拉松

...客](https://www.zama.ai/blog) / [社区](https://www.zama.ai/category/community) [Concrete ML](https://www.zama.ai/category/concrete-ml) ## 使用 Zama 的 Concrete ML 和全同态加密赢得 TikTok 黑客马拉松 2024 年 10 月 29 日 - Jeremiah Au, Nigel Lee, PJ Anthony, Vansh Nath * *...

文章 如何使用 Ethers.js 以更高的 gas 价格重新发送交易

...希望查看此指南的更新版本，请 [告诉我们](https://airtable.com/shrKKKP7O1Uw3ZcUB?prefill_Guide+Name=How%20to%20re-send%20a%20transaction%20with%20higher%20gas%20price%20using%20Ethers.js)! ## 概述 有时，由于网络拥堵或太多待处理交易提供了高于你在交易中...

文章 2024年度学术资助计划获奖者名单公布

...规范的自动模型检测 | [Igor Konnov 博士](https://scholar.google.com/citations?user=K6OSiNYAAAAJ&hl=en), [Jure Kukovec](https://dblp.org/pid/219/2203.html), [Andrey Kuprianov 博士](https://dblp.org/pid/05/7915.html), [Thomas Pani 博士](https://dblp.org/pid/165/2693.html) & [Than Hai Tra...

文章 这30个以太坊开发示例，让你成为80万都挖不走的区块链人才！

...件 **27_dapp_pet_shop** * 创建DApp（ [https://truffleframework.com/tutorials/pet-shop](https://truffleframework.com/tutorials/pet-shop) ） * 允许所有者取消收养 * 编写取消收养的测试(TDD) * 在SMART合约中添加取消功能 **28_infura_deployment** * 使...

文章 BLS12-381 理论与实现

如果你是一个*SNARKER*，你一定听说过*KZG Commitment*，如果你听说过*KZG Commitment*，那你一定知道**Pairing**。这就是我们接下来要讨论的，大家如果想了解**Pairing** 的底层逻辑(**pairing primitives**)，或者对它的应用感兴趣都可以留言，...

文章 了解自动化做市商：DeFi 流动性新手指南 - CoW DAO

## 理解自动化做市商：DeFi 流动性新手指南 ·  加密货币领域通常会让人感到不知所措，特别是当你刚入门时。在专业术语、快速发展的技术以及大量涌现的新平台和工...

视频 比特币与量子计算 | 量子比特币峰会

视频 AI 总结： 该视频讨论了量子计算对比特币的潜在威胁，主要集中在挖矿和密码学两个方面。演讲者指出，量子计算对椭圆曲线密码学的威胁更为紧迫，可能导致私钥被窃取，从而危及比特币安全。视频还探讨了将现有比特...

文章 理解加密货币中的代币经济学：有效的速度测量方法

...ure of tokenized assets firsthand(亲身体验代币化资产的未来) **Visit [marketplace.mercata.blockapps.net](https://marketplace.mercata.blockapps.net/) to begin your journey into sophisticated token economics and asset tokenization.(访问 [marketplace.mercata.blockapps.net](https://marketp...

文章 Clickhouse 以太坊分析:基础交易数据清洗

...多关于数据分析的文章，大部分都使用了 [Dune](https://dune.com/browse/dashboards) 等 `SaaS` 工具，这些工具往往提供了清洗后的区块链数据和数据库分析工具。对于大部分数据分析师而言，这些工具可以应对一系列复杂的数据分析问题...

文章 二次约束 - Circom

...变量之间的单个乘法。 **考虑以下验证示例：** ```python def someProblem(x, y, out): res = y^2 + 4*(x^2)*y -2 assert out == res, "incorrect inputs"; ``` **转换为 R1CS 会产生：** ```jsx v1 === y * y v2 === x * x out === v1 + (4v2 * y) - 2 ``` * ...

文章 零知识证明的先进形式化验证：两个ZK漏洞的深度剖析

...的先进形式化验证：如何验证一条ZK指令](http://mp.weixin.qq.com/s?\__biz=MzU5OTg4MTIxMw==\&mid=2247502807\&idx=1\&sn=e5a6deabb78220190c027570b58943f0\&chksm=feacaf45c9db26539e50d6973bcc0c85d2bd22d518e23d1de5ef3e344431725396a74b6dddec\&scene=21#wechat_redirect)。通过形式化验证...

文章 区块链中的数学-用Cipolla算法求解二次剩余方程

... square root of quadratic residue using Cipolla's algorithm with Legendre symbol Returns: int -- if n is a quadratic residue, return x, such that x^{2} = n (mod modulo) otherwise, return -1 """ if modulo == 2: return 1 if n % ...

视频 ZKP MOOC 第 9 课：基于线性 PCP 的 SNARKs

本次讲座由Yupeng Zhang主讲，主题为基于线性概率检查程序（PCP）的SNARKs（简洁非交互式知识论证）。讲座首先回顾了之前讲解的SNARKs的基本概念和构建方法，包括基于多项式承诺和错误纠正码的方案。接着，Zhang详细介绍了线性P...