sum-check protocol合集

最新推荐文章于 2025-08-18 10:42:36 发布
原创 最新推荐文章于 2025-08-18 10:42:36 发布 · 1k 阅读 · 3 ·
CC 4.0 BY-SA版权
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
文章标签：

#零知识证明

这篇博客深入解读了2008年至2021年间关于zkSNARKs的重要论文，包括Delegating Computation的互动证明，Hyrax的双效zkSNARKs，无信任设置的Spartan，以及Libra和Thaler论文中sumcheck协议的实现。它涵盖了从理论到实践的进展，展示了如何优化证明效率并去除信任前提。
sum-check protocol
qq_34793644的博客
03-09 1091
sum-check协议
sum-check protocol in zkproof
mutourend2010@gmail.com
12-24 3337
参考资料 [1] https://zkproof.org/2020/03/16/sum-checkprotocol/ [2] utexas大学课件 Lecture 3: The Sum Check Protocol [3] georgetown大学课件 The Sum-Check Protocol
sum-check protocol深入研究
mutourend2010@gmail.com
01-22 809
sum-check protocol深入研究
Sumcheck协议学习
qq_37835596的博客
11-05 1176
求和验证协议对上述计算模型描述了一种这样的场景：证明者想要向验证者证明上述求和函数在b1,b2,....bv的值是H。如果证明者直接将b1,b2,....bv发送给验证者，则验证者需要。次g函数在v个点上的计算时间。这是一个指数验证时间，对于计算资源匮乏的验证者是无法接收这一验证时间。按照我的理解是要站在验证者一方的视角来看整个证明过程。证明者在刚开始发送一个值C给验证者并声称C等于H。,成立然后一直往上推就能成功证明 C是等于真正的值H。，其中g是定义在有限域F上的v元多项式。，这样就消除了前面的假设。
GKR协议小记
mutourend2010@gmail.com
08-20 1892
GKR协议小记
iph = ip_hdr(skb); if (iph->protocol != IPPROTO_ICMP)我是新手，详细解析一下该操作
08-21
__sum16 check; /* 校验和 */ __be32 saddr; /* 源IP地址 */ __be32 daddr; /* 目的IP地址 */ }; ``` > `protocol` 是我们要判断的关键字段！ --- ### 2. `if (iph->protocol != IPPROTO_ICMP)` #### ✅ 作用...
protocol_buf[i++] = get_check_sum(protocol_buf,i); 这是警告哪行的代码应该怎么改
03-15
用户给出的代码是`protocol_buf[i++] = get_check_sum(protocol_buf,i);`，他们想知道这行代码为什么会引发警告以及如何修改。 首先，我得分析这行代码可能的问题。用户提到的是警告，而不是错误，所以可能不是语法...
20、实用 MPSI - CA 与 MPSI - CA - Sum 协议解析
sunny的博客
08-18 28
本文深入解析了在任意勾结场景下安全计算多方隐私集合交集基数的MPSI-CA与MPSI-CA-Sum协议。通过引入元素共享、多方秘密共享洗牌和遗忘零和检查等新原语，实现了在不泄露私有数据的前提下高效计算交集基数及关联有效载荷之和。文章详细阐述了协议流程、安全性与复杂度分析，并探讨其在数据隐私保护与联合分析中的应用前景。
#include <stdio.h> #include <stdlib.h> #include <string.h> #include <unistd.h> #include <sys/socket.h> #include <netinet/in.h> #include <arpa/inet.h> #include <netinet/ip.h> #include <netinet/udp.h> // 计算校验和函数 unsigned short checksum(void *b, int len) { unsigned short *buf = b; unsigned int sum = 0; unsigned short result; for (sum = 0; len > 1; len -= 2) sum += *buf++; if (len == 1) sum += *(unsigned char *)buf; sum = (sum >> 16) + (sum & 0xFFFF); sum += (sum >> 16); result = ~sum; return result; } int main() { int sockfd; char buffer[1024]; struct sockaddr_in dest_addr; // 创建原始套接字 if ((sockfd = socket(AF_INET, SOCK_RAW, IPPROTO_RAW)) < 0) { perror("socket() error"); exit(EXIT_FAILURE); } // 设置目标地址 memset(&dest_addr, 0, sizeof(dest_addr)); dest_addr.sin_family = AF_INET; dest_addr.sin_addr.s_addr = inet_addr("127.0.0.1"); // 目标IP // 构建IP头部 struct iphdr *ip_header = (struct iphdr *)buffer; ip_header->ihl = 5; // 头部长度（32位字） ip_header->version = 4; // IPv4 ip_header->tos = 0; // 服务类型 ip_header->tot_len = sizeof(struct iphdr) + sizeof(struct udphdr) + 5; // 总长度 ip_header->id = htons(54321); // 标识 ip_header->frag_off = 0; // 分片偏移 ip_header->ttl = 64; // 生存时间 ip_header->protocol = IPPROTO_UDP; // 协议类型 ip_header->saddr = inet_addr("127.0.0.1"); // 源IP ip_header->daddr = dest_addr.sin_addr.s_addr; // 目标IP ip_header->check = 0; // 先置0再计算校验和 ip_header->check = checksum((unsigned short *)ip_header, ip_header->ihl*4); // 构建UDP头部 struct udphdr *udp_header = (struct udphdr *)(buffer + sizeof(struct iphdr)); udp_header->source = htons(12345); // 源端口 udp_header->dest = htons(54321); // 目标端口 udp_header->len = htons(sizeof(struct udphdr) + 5); // UDP总长度 udp_header->check = 0; // 先置0 // 添加UDP数据 char *data = buffer + sizeof(struct iphdr) + sizeof(struct udphdr); strcpy(data, "TEST"); // 计算UDP校验和（包含伪头部） char pseudo[1024]; struct pseudo_udp_header { u_int32_t src_ip; u_int32_t dst_ip; u_int8_t zero; u_int8_t protocol; u_int16_t length; } *pseudo_header = (struct pseudo_udp_header *)pseudo; pseudo_header->src_ip = ip_header->saddr; pseudo_header->dst_ip = ip_header->daddr; pseudo_header->zero = 0; pseudo_header->protocol = IPPROTO_UDP; pseudo_header->length = udp_header->len; // 拼接伪头部+UDP头部+数据 memcpy(pseudo + sizeof(struct pseudo_udp_header), udp_header, ntohs(udp_header->len)); udp_header->check = checksum(pseudo, sizeof(struct pseudo_udp_header) + ntohs(udp_header->len)); // 发送数据包 if (sendto(sockfd, buffer, ip_header->tot_len, 0, (struct sockaddr *)&dest_addr, sizeof(dest_addr)) < 0) { perror("sendto() error"); close(sockfd); exit(EXIT_FAILURE); } printf("UDP packet sent. Check Wireshark for verification.\n"); close(sockfd); return 0; } 分析
08-08
sum = (sum >> 16) + (sum & 0xFFFF); // 折叠进位 sum += (sum >> 16); // 再次处理进位 return (unsigned short)~sum; } ``` - **算法特点**： 1. 16位字累加（大端序） 2. 处理奇数字节（最后一个字节单独...
static inline int virtio_net_hdr_to_skb(struct sk_buff *skb, const struct virtio_net_hdr *hdr, bool little_endian) { unsigned int gso_type = 0; unsigned int thlen = 0; unsigned int p_off = 0; unsigned int ip_proto; if (hdr->gso_type != VIRTIO_NET_HDR_GSO_NONE) { switch (hdr->gso_type & ~VIRTIO_NET_HDR_GSO_ECN) { case VIRTIO_NET_HDR_GSO_TCPV4: gso_type = SKB_GSO_TCPV4; ip_proto = IPPROTO_TCP; thlen = sizeof(struct tcphdr); break; case VIRTIO_NET_HDR_GSO_TCPV6: gso_type = SKB_GSO_TCPV6; ip_proto = IPPROTO_TCP; thlen = sizeof(struct tcphdr); break; case VIRTIO_NET_HDR_GSO_UDP: gso_type = SKB_GSO_UDP; ip_proto = IPPROTO_UDP; thlen = sizeof(struct udphdr); break; case VIRTIO_NET_HDR_GSO_UDP_L4: gso_type = SKB_GSO_UDP_L4; ip_proto = IPPROTO_UDP; thlen = sizeof(struct udphdr); break; default: return -EINVAL; } if (hdr->gso_type & VIRTIO_NET_HDR_GSO_ECN) gso_type |= SKB_GSO_TCP_ECN; if (hdr->gso_size == 0) return -EINVAL; } skb_reset_mac_header(skb); if (hdr->flags & VIRTIO_NET_HDR_F_NEEDS_CSUM) { u32 start = __virtio16_to_cpu(little_endian, hdr->csum_start); u32 off = __virtio16_to_cpu(little_endian, hdr->csum_offset); u32 needed = start + max_t(u32, thlen, off + sizeof(__sum16)); if (!pskb_may_pull(skb, needed)) return -EINVAL; if (!skb_partial_csum_set(skb, start, off)) return -EINVAL; p_off = skb_transport_offset(skb) + thlen; if (!pskb_may_pull(skb, p_off)) return -EINVAL; } else { /* gso packets without NEEDS_CSUM do not set transport_offset. * probe and drop if does not match one of the above types. */ if (gso_type && skb->network_header) { struct flow_keys_basic keys; if (!skb->protocol) { __be16 protocol = dev_parse_header_protocol(skb); if (!protocol) virtio_net_hdr_set_proto(skb, hdr); else if (!virtio_net_hdr_match_proto(protocol, hdr->gso_type)) return -EINVAL; else skb->protocol = protocol; } retry: if (!skb_flow_dissect_flow_keys_basic(NULL, skb, &keys, NULL, 0, 0, 0, 0)) { /* UFO does not specify ipv4 or 6: try both */ if (gso_type & SKB_GSO_UDP && skb->protocol == htons(ETH_P_IP)) { skb->protocol = htons(ETH_P_IPV6); goto retry; } return -EINVAL; } p_off = keys.control.thoff + thlen; if (!pskb_may_pull(skb, p_off) || keys.basic.ip_proto != ip_proto) return -EINVAL; skb_set_transport_header(skb, keys.control.thoff); } else if (gso_type) { p_off = thlen; if (!pskb_may_pull(skb, p_off)) return -EINVAL; } } if (hdr->gso_type != VIRTIO_NET_HDR_GSO_NONE) { u16 gso_size = __virtio16_to_cpu(little_endian, hdr->gso_size); unsigned int nh_off = p_off; struct skb_shared_info *shinfo = skb_shinfo(skb); switch (gso_type & ~SKB_GSO_TCP_ECN) { case SKB_GSO_UDP: /* UFO may not include transport header in gso_size. */ nh_off -= thlen; break; case SKB_GSO_UDP_L4: if (!(hdr->flags & VIRTIO_NET_HDR_F_NEEDS_CSUM)) return -EINVAL; if (skb->csum_offset != offsetof(struct udphdr, check)) return -EINVAL; if (skb->len - p_off > gso_size * UDP_MAX_SEGMENTS) return -EINVAL; if (gso_type != SKB_GSO_UDP_L4) return -EINVAL; break; case SKB_GSO_TCPV4: case SKB_GSO_TCPV6: if (skb->csum_offset != offsetof(struct tcphdr, check)) return -EINVAL; break; } /* Too small packets are not really GSO ones. */ if (skb->len - nh_off > gso_size) { shinfo->gso_size = gso_size; shinfo->gso_type = gso_type; /* Header must be checked, and gso_segs computed. */ shinfo->gso_type |= SKB_GSO_DODGY; shinfo->gso_segs = 0; } } return 0; }
最新发布
10-28
u32 needed = start + max_t(u32, thlen, off + sizeof(__sum16)); if (!pskb_may_pull(skb, needed)) return -EINVAL; if (!skb_partial_csum_set(skb, start, off)) return -EINVAL; p_off = skb_...
HyperPlonk——实现zkEVM的一种zk-proof system
mutourend2010@gmail.com
10-25 2274
HyperPlonk——实现zkEVM的一种zk-proof system
GKR协议学习
qq_37835596的博客
03-19 777
参考资料：Justin Thaler 的 《Proofs, Arguments, and Zero-Knowledge》
客户端打开：protocolCheck
Miss_Y0的博客
04-24 1572
【代码】客户端打开：protocolCheck。
如何计算UDP/TCP检验和checksum
Tab-明确方向
05-30 5810
一、下面的图是一个UDP的检验和所需要用到的所有信息，包括三个部分： 1.UDP伪首部 2.UDP首部 3.UDP的数据部分（切记不要遗漏该部分，否则就~吐血了~）   首先解释下伪首部的概念，伪首部包含IP首部一些字段。其目的是让UDP两次检查数据是否已经正确到达目的地，只是单纯为了做校验用的。 还有一个概念十分重要，那就是16位UDP总长度，请注意该
IP层实现1--初始化
u014211079的专栏
09-16 868
在网卡驱动中，当在中断中接收到数据后，最后
check_sum校验和函数，返回的是1个字节的数据
m0_37141848的博客
09-19 1228
/* check_sum校验和函数，返回的是1个字节的数据 */ int check_sum(unsigned char *p_data, int len, unsigned char *data) { unsigned char ret_t = 0; if (NULL == p_data || len <= 0) return -1; for (int i = 0; i < len; i++) { ret_t +=...
Virgo：Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof学习笔记
mutourend2010@gmail.com
10-14 1738
1. 引言 Jiaheng Zhang等人2020年论文《Transparent Polynomial Delegation and Its Applications to Zero Knowledge Proof》发表于 IEEE Symposium on Security and Privacy 2020。
Code39中的校验和（Check Sum）实现
jxluoix的专栏
05-29 1364
  private int getCharIndex(char c) throws InvalidAtributeException{ if( c &gt;= '0' &amp;&amp; c &lt;= '9' ){ return c - 48; } else if( c &gt;= 'A' &amp;&amp; c &lt;= 'Z' ){ return c ...
ECO目标跟踪: Efficient Convolution Operators for Tracking（翻译+笔记）
String_N的博客
12-07 6851
ECO: Efficient Convolution Operators for Tracking 摘要 近年来，基于判别相关滤波器 (DCF) 的方法显着提高了跟踪的最新技术水平。 然而，在追求不断提高的跟踪性能的过程中，它们的特征速度和实时能力逐渐减弱。 此外，越来越复杂的模型具有大量可训练的参数，引入了严重过拟合的风险。 在这项工作中，我们解决了计算复杂性和过度拟合问题背后的关键原因，目的是同时提高速度和性能。 我们重新审视核心 DCF 公式并引入：（i）分解卷积算子，它大大减少了模型中的参数数量；
评论
成就一亿技术人!
拼手气红包6.0元
还能输入1000个字符
 
红包 添加红包
表情包 插入表情
表情包 代码片
 条评论被折叠 查看
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值