小红花·文摘
  • 首页
  • 广场
  • 排行榜🏆
  • 直播
  • FAQ
Dify.AI

verified-ledger项目利用Lean 4和Rust进行形式化验证与模糊测试,以确保账本系统的安全性和正确性。通过对比Rust实现与Lean模型的输出,识别潜在漏洞。该项目适合希望在高可靠性系统中引入形式化验证的开发者。

【Rust日报】2026-01-05 verified-ledger:使用 Lean 4 作为模糊测试预言机来验证账本的实现逻辑

Rust.cc
Rust.cc · 2026-01-05T00:51:31Z

2025年11月18日,Jamf Threat Labs 发现了一种名为DigitStealer的新型macOS窃密软件,具备复杂的隐蔽性和硬件感知能力。该恶意软件通过多阶段攻击专门针对M2及更新机型,窃取敏感数据并篡改加密货币钱包,使用合法托管平台,标志着macOS威胁的升级。

高级 macOS 窃密软件 DigitStealer 瞄准 M2+ Mac,通过 JXA 和基于 DNS 的 C2 劫持 Ledger Live

FreeBuf网络安全行业门户
FreeBuf网络安全行业门户 · 2025-11-17T16:26:50Z
Ledger的新Nano不仅仅是一个加密钱包

Ledger推出了第五代Nano设备,称为“签名器”,配备三寸E Ink显示屏,旨在吸引新用户。该设备简化了账户恢复过程,并引入可更换的金属徽章。尽管目标是扩大市场,但仍需关注其在加密用户之外的接受度。

Ledger的新Nano不仅仅是一个加密钱包

The Verge
The Verge · 2025-10-23T12:00:00Z
硬件加密钱包Ledger推出使用NFC连接的离线恢复卡片 读取时还需要PIN码验证

Ledger推出新款硬件助记词卡片,支持NFC连接存储助记词,并需PIN码验证以确保数据安全。该卡片仅适用于Ledger Stax和Flex钱包,解决了联网风险和纸质卡片损坏的问题。

硬件加密钱包Ledger推出使用NFC连接的离线恢复卡片 读取时还需要PIN码验证

蓝点网
蓝点网 · 2025-06-25T08:02:34Z
如何设置和保护Ledger钱包(2025年指南)

Ledger钱包是一种硬件设备,用于离线存储加密资产的私钥,确保安全。设置步骤包括安装Ledger Live、初始化设备和安全存储24个恢复短语。2025年的威胁包括AI钓鱼攻击和假冒设备。安全建议包括直接从Ledger购买、使用金属备份恢复短语和启用高级安全功能。

如何设置和保护Ledger钱包(2025年指南)

DEV Community
DEV Community · 2025-05-29T11:23:10Z
在开源项目中进行财务规划

在开源项目中,财务规划至关重要,有助于确保项目的可持续发展,包括资源管理、奖励贡献者和未来开发。开源财务工具如GNUCash和Ledger提供透明性、成本效益和社区支持,帮助项目应对财务挑战,实现可持续目标。

在开源项目中进行财务规划

DEV Community
DEV Community · 2025-02-14T06:32:47Z
凭证:为XRP Ledger构建合规身份层

Credentials是XRP Ledger上的新功能,提供安全的用户凭证管理框架,支持合规性与用户隐私。它引入凭证账本对象和新交易类型,允许创建、接受和删除凭证,简化用户注册流程,并与存款授权结合以确保交易安全。未来,凭证将与许可域和许可DEX结合,促进机构级身份系统的建立。

凭证:为XRP Ledger构建合规身份层

DEV Community
DEV Community · 2025-02-07T22:33:52Z

法国硬件加密钱包Ledger的联合创始人David Balland因其巨额财富和加密货币被绑架,支付比特币赎金后获释。警方正在追查绑匪身份。

法国硬件加密钱包Ledger联合创始人遭到绑架 在支付巨额比特币赎金后被释放

蓝点网
蓝点网 · 2025-01-24T08:31:56Z
应对Web3动态变化:Ledger借助Vercel稳定流量高峰

Ledger通过使用Next.js和Vercel提升了Web3流量管理,实现了更高的发布频率和更快的加载速度。Vercel的无服务器架构帮助Ledger快速应对市场变化,优化用户体验,并提高开发效率和协作效果。

应对Web3动态变化:Ledger借助Vercel稳定流量高峰

Vercel News
Vercel News · 2024-10-04T13:00:00Z
AWS 停止 Amazon Quantum Ledger Database (QLDB) 服务

亚马逊AWS宣布关闭Amazon Quantum Ledger Database(QLDB),现有用户需迁移到Aurora PostgreSQL。AWS强调QLDB支持将于2025年7月31日结束,鼓励用户联系AWS代表以计划迁移。用户担心数据完整性可能会受到影响。

AWS 停止 Amazon Quantum Ledger Database (QLDB) 服务

InfoQ
InfoQ · 2024-07-26T05:49:00Z

法国硬件加密钱包制造商Ledger推出Ledger Stax钱包,具有曲面、可触控、墨水屏,支持无线充电和USB-C连接。续航时间长,售价279欧元。

硬件加密钱包制造商Ledger即将发售带有墨水屏的新钱包 支持无线充电等

蓝点网
蓝点网 · 2024-05-28T06:32:20Z
SSDT 17.6 的新功能:Ledger、性能提升、Copilot

SQL Server Developer Tools for Visual Studio 17.6于2023年5月16日发布,支持Ledger表格、Visual Studio 2022稳定性改进、性能提升和Github Copilot。SSDT是Visual Studio中的数据库工具,可让用户从源控制项目开发、构建、测试和发布数据库。Ledger表格可用于简化审计并向审计员提供数据完整性的加密证明。其他增强功能包括更快的构建过程和编辑器性能改进。SSDT还支持Github Copilot,用于SQL代码编写辅助。建议用户下载Visual Studio 2022并使用SSDT进行数据库开发。

SSDT 17.6 的新功能:Ledger、性能提升、Copilot

Visual Studio Blog
Visual Studio Blog · 2023-06-05T18:36:15Z

Ledger CEO帕斯卡(Pascal)在官方博客写了篇文章,解释清楚了12月份整个事件的来龙去脉。仔细看了 […] Ledger 信息泄露后续最先出现在王一石。

Ledger 信息泄露后续

王一石
王一石 · 2021-01-30T09:42:42Z

I’ve been using Ledger CLI for a year now. It’s really a feature-rich command-line double-entry accounting tool, but the only one thing missed is data visualization. Although Ledger has a report...

Report Scripts for Ledger CLI with Gnuplot

日光漫想
日光漫想 · 2016-12-31T15:13:09Z
  • <<
  • <
  • 1 (current)
  • >
  • >>
👤 个人中心
在公众号发送验证码完成验证
登录验证
在本设备完成一次验证即可继续使用

完成下面两步后,将自动完成登录并继续当前操作。

1 关注公众号
小红花技术领袖公众号二维码
小红花技术领袖
如果当前 App 无法识别二维码,请在微信搜索并关注该公众号
2 发送验证码
在公众号对话中发送下面 4 位验证码
友情链接: MOGE.AI 九胧科技 模力方舟 Gitee AI 菜鸟教程 Remio.AI DeekSeek连连 53AI 神龙海外代理IP IPIPGO全球代理IP 东波哥的博客 匡优考试在线考试系统 开源服务指南 蓝莺IM Solo 独立开发者社区 AI酷站导航 极客Fun 我爱水煮鱼 周报生成器 He3.app 简单简历 白鲸出海 T沙龙 职友集 TechParty 蟒周刊 Best AI Music Generator

小红花技术领袖俱乐部
小红花·文摘:汇聚分发优质内容
小红花技术领袖俱乐部
Copyright © 2021-
粤ICP备2022094092号-1
公众号 小红花技术领袖俱乐部公众号二维码
视频号 小红花技术领袖俱乐部视频号二维码