找到约 13 条结果

文章 探索零知识证明系列5-构建非交互式零知识证明

...`P`(但还悬而未决,没有被证明!`BPP` 可以理解为 `P` + `Randomness`)。 *注:如果 Prover 与 Verifier 只做一次交互,在这样的 NIZK 系统中,我们很容易能构造一个 Decision Procedure —— Verify(x, Sim(x)),来证明和证伪定理,因此只能证...

文章 有趣的比特币脚本(五):闪电通道与闪电网络

... 合约 ](https://www.btcstudy.org/2023/04/24/interesting-bitcoin-scripts-and-its-use-cases-part-5-lightning-channels-and-lightning-network/#note1)。在签名承诺交易之后,支付的一方签名花费这个 2-of-2 输入的交易,并产生两个输出,一个输出给对方,面额是完...

问题 ERROR: 1.13.4 is required to build Fabric and you are using . Please update go

...如下: ``` [centos@ip-172-31-37-61 fabric]$ make all make: go: Command not found make: go: Command not found make: go: Command not found make: go: Command not found make: go: Command not found make: go: Command not found make: go: Command not found make: go: Command not found make: go:...

视频 影子Reth:影子日志的执行扩展 - @emhsia - 前沿

Emily, co-founder and CTO of Shadow, introduced ShadowRef, a tool that enables the addition of gasless logs, known as Shadow Logs, to existing smart contracts without increasing gas costs for users. Shadow Logs are generated in an off-chain execution environment, allowing developers to access deeper...

文章 ZK Mesh:2025年4月回顾

...r, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg and Brandon Reagen * [线性时间的累加方案](https://eprint.iacr.org/2025/753) | Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang * [GIGA 协议:在区块链中解锁无需信任的并行计算](https:...

问题 部署arb节点,解压tar文件提示 encounter error: "no --init.* mode supplied and chain data not in expected directory"

有人知道怎么解决吗

问题 eth合约verify and public时遇到的问题

![image.png](https://img.learnblockchain.cn/attachments/2022/04/ryR51Kj3626d1a0d122ca.png) 我是按照YouTube上一个视频教程publish的 感觉我跟视频中唯一的区别是我有两个.sol文件,然后我编译的是loomiheads.sol 并且comploy (这是我在测试网络上部署一个...

问题 在web3.py使用时遇到Could not transact with/call contract function, is contract deployed correctly and chain synced

...# 检查状态字段以确认交易是否成功 if tx_receipt is not None and tx_receipt.status == 1: print(f"Transaction {tx_hash_register} was successful.") else: print(f"Transaction {tx_hash_register} failed or is pending.") username = "user1" if user_management.user_exists(username...

问题 使用geth和ligthouse同步时,ligthouse客户端报“ Failed to get remote head and new block ranges: EndpointError”错误

...和ligthouse同步时,ligthouse客户端报“ Failed to get remote head and new block ranges: EndpointError(FarBehind), retry_millis: 60000, service: deposit_contract_rpc”错误 ,我查看了lighthouse文档,发现需要geth执行客户端正确启动并同步,就可以解决如下图: ...

文章 【zkMIPS系列】ZKM Prover—Memory & Logic Stark

...成 `First Change Flags` 和 `RANGE_CHECK` (`generate_first_change_flags_and_rc`) - 处理数据格式 (`generate_trace_col_major`) 2. **约束检查** - 约束 `FILTER` 只能是 `0` 或 `1` - 确保地址变化满足规则 - 确保时间戳递增 - 确保读取数据与上次写入一...

文章 Circle Stark: from a new Starker

...ngle $$ where $g$ is generator of multiplicative group $F_{p}^{\times}$, and $g_m$ is the generator of $D$ or $H$. Therefore we have the belowing evaluation table $Y = p(X)$, where $X \in D$: $$ \def\arraystretch{1.5} \begin{array}{c:c:c} X & 1 & g_m & g_m^2 & ... & g_m^{n - 1} \...

问题 BSC开源出现的问题 : Error! Unable to generate Contract ByteCode and ABI (General Exception, unable to get compiled [bytecode])

这种问题我应该如何解决呀大佬 ![16507647761.png](https://img.learnblockchain.cn/attachments/2022/04/lBZEHBYO6264aca1042f6.png)

文章 The Nautical Chart of TON Smart Contracts: In-Depth Analysis and Function Interpretation stdlib_ext

... the stdlib_ext library for TON smart contracts, it is essential to understand the unique charm of TON, a decentralized blockchain platform. TON resembles a vast digital ocean, where smart contracts are the vessels navigating its waters. The stdlib_ext library serves as their compass and map, guidin...