

0
粉絲
17
文章
安比(SECBIT)实验室
/
特邀专栏作者
安比(SECBIT)实验室专注于区块链与智能合约安全问题。
Vitalik Buterin:協作的好壞兩面
協作是一種讓公司、國家和任何有一定規模的社會組織能夠正常運轉的關鍵。
2020-09-18
Vitalik
分叉
投资

硬核講解全同態加密FHE特性與加密體係發展史
一文了解最近很火的全同態加密(FHE)與伴隨而來的格加密(Lattice-based Encryption)技術。
2020-06-22
开发者

以太坊顛覆了以太坊:引入密碼學實現2.0性能突破
出塊節點不再需要存儲區塊就可以驗證並且打包交易。
2020-06-15
开发者
ETH

淺談零知識證明之二:簡短無交互證明(SNARK)
上一期文章發表之後,非常驚訝有那麼多小伙伴讀完了表示喜歡。那麼我們接著這期繼續吧!這次,我們專注的聊一聊SNARK。
2020-01-07
安全

零知識證明Learn by Coding:libsnark入門篇
希望通過本系列文章,所有開發者都能親自上手實踐,在短時間內迅速入門libsnark,一步步了解libsnark 的基本概念。
2020-01-03
开发者
安全

零知識證明學習筆記:背景與起源
斯坦福學霸的零知識證明學習筆記。
2019-12-24
开发者

鏈上富人尋「隱私」記(Mixer 篇)
一篇文章讓我徹底暴露了。什麼能拯救,零知識證明? !
2019-12-20
DAO
智能合约
安全

亞瑟王的「隨機」挑戰:從交互到非交互式零知識證明——探索零知識證明系列(四)
探索零知識證明系列(四)
2019-11-03
安全

初識「零知識」與「證明」
探索零知識證明系列(一)
2019-09-04
安全

讀心術:從零知識證明中提取「知識」
我們將分析下一個交互系統(安全協議)的三個性質:「完備性」、「可靠性」與「零知識」。
2019-08-28
智能合约
安全

從「模擬」理解零知識證明:平行宇宙與時光倒流
相信很多人都聽說過零知識證明,但是只有極少數人聽說過模擬,然而模擬是理解零知識的關鍵。
2019-08-06
开发者

zkSNARK合約「輸入假名」漏洞致眾多混幣項目爆雷
希望這波新技術浪潮中,社區能充分吸收以往的慘痛教訓,重視安全問題。
2019-07-29
开发者

Move語言:我眼中的Libra 最大亮點
Facebook 將帶來智能合約的新曙光。
2019-06-20
Libra

BCH硬分叉背後:“重放攻擊”下的用戶自救指南
此次分叉後,理論上,重放攻擊將有可能導致任何一方發生共識崩塌和算力歸零。
2018-11-16

Don’t Test,Verify. | 哪個故事真正符合你對形式化驗證的想像?
認真科普形式化驗證方法。
2018-10-24










