基于Golang模块化完整的基础设施框架，创建现代化Web应用和APIs | link

基于Golang模块化完整的基础设施框架，创建现代化Web应用和APIs特征：Unifiedconfiguration：所有配置都合并为./farseer.yamlElegant：所有模块都遵循开发者体验第一的原则。Modularity：提供完整的模块化系统，允许您开发可重用的应用程序模块。Domain-driven：帮助您实现基于DDD的分层架构，构建可维护的代码库。linktracking（下个版本即将推出）：如果你使用框架Orm、Redis、Http、Grpc、ES、MQ、EventBus、Task、fSchedule，会隐式为你实现链接跟踪并提供API请求日志、慢速查询。结合（自动构建、链路追踪控制台、K8S集群日志采集）支持代码非侵入式全链路实时监控。

Horizen Labs 宣布推出用于 ZK Proof 验证的模块化区块链 zkVerif

HorizenLabs宣布推出用于ZKProof验证的模块化区块链zkVerif5月23日消息，HorizenLabs推出zkVerify，这是一个专为结算优化而设计的专用零知识证明验证网络。HorizenLabs估计，2023年以太坊上的zk-rollups的证明验证花费达到4700万美元，zkVerify为使用zk-rollups构建的开发人员消除了计算密集型证明验证的成本和复杂性，为去中心化应用程序的可扩展性和采用提出了关键的解锁方案。