Accum TrustedAccum::TEEaccum(Stats &stats, Nodes nodes, Vote<Void, Cert> votes[MAX_NUM_SIGNATURES]) { View v = votes[0].getCData().getView(); View highest = 0; Hash hash = Hash(); std::set<PID> signers; for(int i = 0; i < MAX_NUM_SIGNATURES && i < this->qsize; i++) { Vote<Void, Cert> vote = votes[i]; CData<Void, Cert> data = vote.getCData(); Sign sign = vote.getSign(); PID signer = sign.getSigner(); Cert cert = data.getCert(); bool vd = verifyCData(stats, nodes, data, sign); bool vc = verifyCert(stats, nodes, cert); if(data.getPhase() == PH1_NEWVIEW && data.getView() == v && signers.find(signer) == signers.end() && vd && vc) { if(DEBUG1) { std::cout << KMAG << "[" << this->id << "]" << "inserting signer" << KNRM << std::endl; } signers.insert(signer); if(cert.getView() >= highest) { highest = cert.getView(); hash = cert.getHash(); } } else { if(DEBUG1) { std::cout << KMAG << "[" << this->id << "]" << "vote:" << vote.prettyPrint() << KNRM << std::endl; } if(DEBUG1) { std::cout << KMAG << "[" << this->id << "]" << "not inserting signer (" << signer << ") because:" << "check-phase=" << std::to_string(data.getPhase() == PH1_NEWVIEW) << "(" << data.getPhase() << "," << PH1_NEWVIEW << ")" << ";check-view=" << std::to_string(data.getView() == v) << ";check-notin=" << std::to_string(signers.find(signer) == signers.end()) << ";verif-data=" << std::to_string(vd) << ";verif-cert=" << std::to_string(vc) << KNRM << std::endl; } } } bool set = true; unsigned int size = signers.size(); std::string text = std::to_string(set) + std::to_string(v) + std::to_string(highest) + hash.toString() + std::to_string(size); Sign sign(this->priv,this->id,text); return Accum(v, highest, hash, size, sign); }

时间: 2024-04-17 09:29:53 浏览: 175
这段代码是一个函数定义,函数名为`TEEaccum`,返回类型为`Accum`。 函数接受以下参数: - `Stats &stats`:一个`Stats`对象的引用。 - `Nodes nodes`:一个`Nodes`对象。 - `Vote<Void, Cert> votes[MAX_NUM_SIGNATURES]`:一个最大长度为`MAX_NUM_SIGNATURES`的`Vote<Void, Cert>`数组。 函数的主要功能是根据给定的投票数组,计算并返回一个`Accum`对象。 函数内部的操作如下: - 通过取第一个投票的视图号,获取变量`v`的值。 - 初始化变量`highest`为0,表示最高视图号。 - 初始化变量`hash`为一个空的`Hash`对象。 - 创建一个空的`std::set<PID>`来存储签名者。 - 使用循环遍历投票数组中的每个投票,最多遍历`MAX_NUM_SIGNATURES`次或者当前队列大小(`qsize`)次。 - 对于每个投票,获取其关联的数据对象和签名对象。 - 验证数据对象和签名对象的有效性,如果通过验证,则继续进行下一步操作。 - 如果数据对象的阶段为`PH1_NEWVIEW`,且视图号与变量`v`相等,且签名者不在已存在的签名者集合中,并且数据对象和证书对象都通过了验证,则执行以下操作: - 将签名者插入到签名者集合中。 - 如果证书对象的视图号大于等于当前最高视图号,则更新最高视图号为证书对象的视图号,同时更新`hash`为证书对象的哈希值。 - 否则,输出调试信息,指示为什么不将签名者插入到集合中。 - 检查签名者集合是否为空,并将结果保存到变量`set`中。 - 计算签名者集合的大小,并保存到变量`size`中。 - 将一些相关的信息转换为字符串,并使用私钥和节点ID创建一个签名对象`sign`。 - 返回一个`Accum`对象,该对象包含视图号`v`、最高视图号`highest`、哈希值`hash`、签名者集合的大小`size`以及生成的签名对象`sign`。 该函数的作用是根据给定的投票数组计算并返回一个累加对象,用于在TEE环境中验证和累加投票。

相关推荐

def train(train_loader, model, optimizer, epoch, best_loss): model.train() loss_record2, loss_record3, loss_record4 = AvgMeter(), AvgMeter(), AvgMeter() accum = 0 for i, pack in enumerate(train_loader, start=1): # ---- data prepare ---- images, gts = pack images = Variable(images).cuda() gts = Variable(gts).cuda() # ---- forward ---- lateral_map_4, lateral_map_3, lateral_map_2 = model(images) # ---- loss function ---- loss4 = structure_loss(lateral_map_4, gts) loss3 = structure_loss(lateral_map_3, gts) loss2 = structure_loss(lateral_map_2, gts) loss = 0.5 * loss2 + 0.3 * loss3 + 0.2 * loss4 # ---- backward ---- loss.backward() torch.nn.utils.clip_grad_norm_(model.parameters(), opt.grad_norm) optimizer.step() optimizer.zero_grad() # ---- recording loss ---- loss_record2.update(loss2.data, opt.batchsize) loss_record3.update(loss3.data, opt.batchsize) loss_record4.update(loss4.data, opt.batchsize) # ---- train visualization ---- if i % 400 == 0 or i == total_step: print('{} Epoch [{:03d}/{:03d}], Step [{:04d}/{:04d}], ' '[lateral-2: {:.4f}, lateral-3: {:0.4f}, lateral-4: {:0.4f}]'. format(datetime.now(), epoch, opt.epoch, i, total_step, loss_record2.show(), loss_record3.show(), loss_record4.show())) print('lr: ', optimizer.param_groups[0]['lr']) save_path = 'snapshots/{}/'.format(opt.train_save) os.makedirs(save_path, exist_ok=True) if (epoch+1) % 1 == 0: meanloss = test(model, opt.test_path) if meanloss < best_loss: print('new best loss: ', meanloss) best_loss = meanloss torch.save(model.state_dict(), save_path + 'TransFuse-%d.pth' % epoch) print('[Saving Snapshot:]', save_path + 'TransFuse-%d.pth'% epoch) return best_loss

解释代码def train(train_loader, model, optimizer, epoch, best_loss): model.train() loss_record2, loss_record3, loss_record4 = AvgMeter(), AvgMeter(), AvgMeter() accum = 0 for i, pack in enumerate(train_loader, start=1): # ---- data prepare ---- images, gts = pack images = Variable(images).cuda() gts = Variable(gts).cuda() # ---- forward ---- lateral_map_4, lateral_map_3, lateral_map_2 = model(images) # ---- loss function ---- loss4 = structure_loss(lateral_map_4, gts) loss3 = structure_loss(lateral_map_3, gts) loss2 = structure_loss(lateral_map_2, gts) loss = 0.5 * loss2 + 0.3 * loss3 + 0.2 * loss4 # ---- backward ---- loss.backward() torch.nn.utils.clip_grad_norm_(model.parameters(), opt.grad_norm) optimizer.step() optimizer.zero_grad() # ---- recording loss ---- loss_record2.update(loss2.data, opt.batchsize) loss_record3.update(loss3.data, opt.batchsize) loss_record4.update(loss4.data, opt.batchsize) # ---- train visualization ---- if i % 20 == 0 or i == total_step: print('{} Epoch [{:03d}/{:03d}], Step [{:04d}/{:04d}], ' '[lateral-2: {:.4f}, lateral-3: {:0.4f}, lateral-4: {:0.4f}]'. format(datetime.now(), epoch, opt.epoch, i, total_step, loss_record2.show(), loss_record3.show(), loss_record4.show())) print('lr: ', optimizer.param_groups[0]['lr']) save_path = 'snapshots/{}/'.format(opt.train_save) os.makedirs(save_path, exist_ok=True) if (epoch+1) % 1 == 0: meanloss = test(model, opt.test_path) if meanloss < best_loss: print('new best loss: ', meanloss) best_loss = meanloss torch.save(model.state_dict(), save_path + 'TransFuse-%d.pth' % epoch) print('[Saving Snapshot:]', save_path + 'TransFuse-%d.pth'% epoch) return best_loss

最新推荐

recommend-type

RTL8188FU-Linux-v5.7.4.2-36687.20200602.tar(20765).gz

REALTEK 8188FTV 8188eus 8188etv linux驱动程序稳定版本, 支持AP,STA 以及AP+STA 共存模式。 稳定支持linux4.0以上内核。
recommend-type

管理建模和仿真的文件

管理Boualem Benatallah引用此版本:布阿利姆·贝纳塔拉。管理建模和仿真。约瑟夫-傅立叶大学-格勒诺布尔第一大学,1996年。法语。NNT:电话:00345357HAL ID:电话:00345357https://theses.hal.science/tel-003453572008年12月9日提交HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire
recommend-type

:YOLOv1目标检测算法:实时目标检测的先驱,开启计算机视觉新篇章

![:YOLOv1目标检测算法:实时目标检测的先驱,开启计算机视觉新篇章](https://img-blog.csdnimg.cn/img_convert/69b98e1a619b1bb3c59cf98f4e397cd2.png) # 1. 目标检测算法概述 目标检测算法是一种计算机视觉技术,用于识别和定位图像或视频中的对象。它在各种应用中至关重要,例如自动驾驶、视频监控和医疗诊断。 目标检测算法通常分为两类:两阶段算法和单阶段算法。两阶段算法,如 R-CNN 和 Fast R-CNN,首先生成候选区域,然后对每个区域进行分类和边界框回归。单阶段算法,如 YOLO 和 SSD,一次性执行检
recommend-type

设计算法实现将单链表中数据逆置后输出。用C语言代码

如下所示: ```c #include <stdio.h> #include <stdlib.h> // 定义单链表节点结构体 struct node { int data; struct node *next; }; // 定义单链表逆置函数 struct node* reverse(struct node *head) { struct node *prev = NULL; struct node *curr = head; struct node *next; while (curr != NULL) { next
recommend-type

c++校园超市商品信息管理系统课程设计说明书(含源代码) (2).pdf

校园超市商品信息管理系统课程设计旨在帮助学生深入理解程序设计的基础知识,同时锻炼他们的实际操作能力。通过设计和实现一个校园超市商品信息管理系统,学生掌握了如何利用计算机科学与技术知识解决实际问题的能力。在课程设计过程中,学生需要对超市商品和销售员的关系进行有效管理,使系统功能更全面、实用,从而提高用户体验和便利性。 学生在课程设计过程中展现了积极的学习态度和纪律,没有缺勤情况,演示过程流畅且作品具有很强的使用价值。设计报告完整详细,展现了对问题的深入思考和解决能力。在答辩环节中,学生能够自信地回答问题,展示出扎实的专业知识和逻辑思维能力。教师对学生的表现予以肯定,认为学生在课程设计中表现出色,值得称赞。 整个课程设计过程包括平时成绩、报告成绩和演示与答辩成绩三个部分,其中平时表现占比20%,报告成绩占比40%,演示与答辩成绩占比40%。通过这三个部分的综合评定,最终为学生总成绩提供参考。总评分以百分制计算,全面评估学生在课程设计中的各项表现,最终为学生提供综合评价和反馈意见。 通过校园超市商品信息管理系统课程设计,学生不仅提升了对程序设计基础知识的理解与应用能力,同时也增强了团队协作和沟通能力。这一过程旨在培养学生综合运用技术解决问题的能力,为其未来的专业发展打下坚实基础。学生在进行校园超市商品信息管理系统课程设计过程中,不仅获得了理论知识的提升,同时也锻炼了实践能力和创新思维,为其未来的职业发展奠定了坚实基础。 校园超市商品信息管理系统课程设计的目的在于促进学生对程序设计基础知识的深入理解与掌握,同时培养学生解决实际问题的能力。通过对系统功能和用户需求的全面考量,学生设计了一个实用、高效的校园超市商品信息管理系统,为用户提供了更便捷、更高效的管理和使用体验。 综上所述,校园超市商品信息管理系统课程设计是一项旨在提升学生综合能力和实践技能的重要教学活动。通过此次设计,学生不仅深化了对程序设计基础知识的理解,还培养了解决实际问题的能力和团队合作精神。这一过程将为学生未来的专业发展提供坚实基础,使其在实际工作中能够胜任更多挑战。
recommend-type

"互动学习:行动中的多样性与论文攻读经历"

多样性她- 事实上SCI NCES你的时间表ECOLEDO C Tora SC和NCESPOUR l’Ingén学习互动,互动学习以行动为中心的强化学习学会互动,互动学习,以行动为中心的强化学习计算机科学博士论文于2021年9月28日在Villeneuve d'Asq公开支持马修·瑟林评审团主席法布里斯·勒菲弗尔阿维尼翁大学教授论文指导奥利维尔·皮耶昆谷歌研究教授:智囊团论文联合主任菲利普·普雷教授,大学。里尔/CRISTAL/因里亚报告员奥利维耶·西格德索邦大学报告员卢多维奇·德诺耶教授,Facebook /索邦大学审查员越南圣迈IMT Atlantic高级讲师邀请弗洛里安·斯特鲁布博士,Deepmind对于那些及时看到自己错误的人...3谢谢你首先,我要感谢我的两位博士生导师Olivier和Philippe。奥利维尔,"站在巨人的肩膀上"这句话对你来说完全有意义了。从科学上讲,你知道在这篇论文的(许多)错误中,你是我可以依
recommend-type

:YOLO目标检测算法的挑战与机遇:数据质量、计算资源与算法优化,探索未来发展方向

![:YOLO目标检测算法的挑战与机遇:数据质量、计算资源与算法优化,探索未来发展方向](https://img-blog.csdnimg.cn/7e3d12895feb4651b9748135c91e0f1a.png?x-oss-process=image/watermark,type_ZHJvaWRzYW5zZmFsbGJhY2s,shadow_50,text_Q1NETiBA5rKJ6YaJ77yM5LqO6aOO5Lit,size_20,color_FFFFFF,t_70,g_se,x_16) # 1. YOLO目标检测算法简介 YOLO(You Only Look Once)是一种
recommend-type

在xlwings里.循环读取A列和B列的数据。当A列某单元格值等于特品,且同行B列单元格值等于热销品时。在同行的C列单元格输出值999。这代码怎么写

您好!感谢您对ChitGPT的使用! 为了回答您的问题,您可以使用xlwings的API和Excel公式配合完成以下任务: ``` import xlwings as xw wb = xw.Book('workbook.xlsx') # 打开工作簿 sht = wb.sheets['Sheet1'] # 打开工作表 # 遍历A列和B列数据 for i in range(1, sht.range('A' + str(sht.cells.last_cell.row)).end('up').row + 1): if sht.range(f'A{i}').value == '特品'
recommend-type

建筑供配电系统相关课件.pptx

建筑供配电系统是建筑中的重要组成部分,负责为建筑内的设备和设施提供电力支持。在建筑供配电系统相关课件中介绍了建筑供配电系统的基本知识,其中提到了电路的基本概念。电路是电流流经的路径,由电源、负载、开关、保护装置和导线等组成。在电路中,涉及到电流、电压、电功率和电阻等基本物理量。电流是单位时间内电路中产生或消耗的电能,而电功率则是电流在单位时间内的功率。另外,电路的工作状态包括开路状态、短路状态和额定工作状态,各种电气设备都有其额定值,在满足这些额定条件下,电路处于正常工作状态。而交流电则是实际电力网中使用的电力形式,按照正弦规律变化,即使在需要直流电的行业也多是通过交流电整流获得。 建筑供配电系统的设计和运行是建筑工程中一个至关重要的环节,其正确性和稳定性直接关系到建筑物内部设备的正常运行和电力安全。通过了解建筑供配电系统的基本知识,可以更好地理解和应用这些原理,从而提高建筑电力系统的效率和可靠性。在课件中介绍了电工基本知识,包括电路的基本概念、电路的基本物理量和电路的工作状态。这些知识不仅对电气工程师和建筑设计师有用,也对一般人了解电力系统和用电有所帮助。 值得一提的是,建筑供配电系统在建筑工程中的重要性不仅仅是提供电力支持,更是为了确保建筑物的安全性。在建筑供配电系统设计中必须考虑到保护装置的设置,以确保电路在发生故障时及时切断电源,避免潜在危险。此外,在电气设备的选型和布置时也需要根据建筑的特点和需求进行合理规划,以提高电力系统的稳定性和安全性。 在实际应用中,建筑供配电系统的设计和建设需要考虑多个方面的因素,如建筑物的类型、规模、用途、电力需求、安全标准等。通过合理的设计和施工,可以确保建筑供配电系统的正常运行和安全性。同时,在建筑供配电系统的维护和管理方面也需要重视,定期检查和维护电气设备,及时发现和解决问题,以确保建筑物内部设备的正常使用。 总的来说,建筑供配电系统是建筑工程中不可或缺的一部分,其重要性不言而喻。通过学习建筑供配电系统的相关知识,可以更好地理解和应用这些原理,提高建筑电力系统的效率和可靠性,确保建筑物内部设备的正常运行和电力安全。建筑供配电系统的设计、建设、维护和管理都需要严谨细致,只有这样才能确保建筑物的电力系统稳定、安全、高效地运行。
recommend-type

关系数据表示学习

关系数据卢多维奇·多斯桑托斯引用此版本:卢多维奇·多斯桑托斯。关系数据的表示学习机器学习[cs.LG]。皮埃尔和玛丽·居里大学-巴黎第六大学,2017年。英语。NNT:2017PA066480。电话:01803188HAL ID:电话:01803188https://theses.hal.science/tel-01803188提交日期:2018年HAL是一个多学科的开放存取档案馆,用于存放和传播科学研究论文,无论它们是否被公开。论文可以来自法国或国外的教学和研究机构,也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaireUNIVERSITY PIERRE和 MARIE CURIE计算机科学、电信和电子学博士学院(巴黎)巴黎6号计算机科学实验室D八角形T HESIS关系数据表示学习作者:Ludovic DOS SAntos主管:Patrick GALLINARI联合主管:本杰明·P·伊沃瓦斯基为满足计算机科学博士学位的要求而提交的论文评审团成员:先生蒂埃里·A·退休记者先生尤尼斯·B·恩