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