https://ventral.digital/posts/2023/10/31/cryptocurrency-privacy-technologies-confidential-transaction-values/
基于同态加密的隐私协议实现,包含 #solidity 合约与客户端代码
基于同态加密的隐私协议实现,包含 #solidity 合约与客户端代码
ventraldigital
Cryptocurrency Privacy Technologies: Confidential Transaction Values • Ventral Digital
Ventral Digital LLC is a research and consultancy firm specializing in Information Security and Privacy.
👍4🔥1
https://blog.trailofbits.com/2024/03/22/why-fuzzing-over-formal-verification/
#fuzz 模糊测试与 #formalVerify 形式化证明
#fuzz 模糊测试与 #formalVerify 形式化证明
The Trail of Bits Blog
Why fuzzing over formal verification?
We recently introduced our new offering, invariant development as a service. A recurring question that we are asked is, “Why fuzzing instead of formal verification?” And the answer is, “It’s complicated.” We use fuzzing for most of our audits but have used…
👍2
👍1🔥1
Web3ReadList
https://words.filippo.io/dispatches/mlkem768/ 后量子时代密码学 #pq 算法 #kyber 的 go 实现
GitHub
GitHub - paulmillr/noble-post-quantum: Auditable & minimal JS implementation of public-key post-quantum cryptography
Auditable & minimal JS implementation of public-key post-quantum cryptography - paulmillr/noble-post-quantum
❤2👍1
https://mirror.xyz/0xC36A87666c505Fe695fc097d238725ff4d34877D/StMN0BAl-m6HHXWBU7_7QHovA6JUEsdiAvOw-PxnhCM
使用 io.net 的算力运行 Heurist 网络
使用 io.net 的算力运行 Heurist 网络
mirror.xyz
Running Heurist on Io Net
In the computing landscape, a significant shift towards decentralization is taking place, moving away from traditional centralized models. This evolution is underscored by innovations such as the Io Net, driven by a combination of factors that spotlight the…
👍1