能夠識(shí)別長程攻擊的要點(diǎn)是協(xié)議根據(jù)staking按time slot進(jìn)行VRF抽簽，有一個(gè)隱含假設(shè)是攻擊者在分叉點(diǎn)之前沒有掌握全部staking者的私鑰 其邏輯后果是：緊跟分叉...
IP屬地：上海
-
Ouroboros Genesis和Coda
-
Uniswap V3 要點(diǎn)
Uniswap V3 形式上是用極坐標(biāo)代替直角坐標(biāo)，用一系列不連續(xù)的反比例函數(shù)曲線段代替了原來暫時(shí)固定的單條曲線，用眾多做市商在各自做市區(qū)間累積的流動(dòng)性分布代替了恒定乘積隱含...
-
MAD-HTLC的要點(diǎn)
兩個(gè)UTXO，第一個(gè)是真正轉(zhuǎn)賬的，叫做DEP，第二個(gè)是B的抵押，叫做COL DEP的提取路徑有三條： 1） sig(alice) and preimage(a) <--- A...
-
corda + coda = ?
以Coda 的增量零知識(shí)證明技術(shù)，加到 Corda 的合法性自我驗(yàn)證模式，可以提供很好的隱私保護(hù)，不需要再泄露UTXO的完整流轉(zhuǎn)歷史。這個(gè)IDEA似乎別人還沒有提出過。
-
Single Signer ECDSA adaptor signature
https://lists.linuxfoundation.org/pipermail/lightning-dev/2019-November/002316.html 上面是...
-
《非加密方法安全計(jì)算兩種集合關(guān)系》似有問題
非加密方法安全計(jì)算兩種集合關(guān)系，軟件學(xué)報(bào)文章。http://www.jos.org.cn/html/2018/2/5362.htm#outline_anchor_3 算法本身...
-
Schnorr 簽名介紹概述 公私鑰密碼對(duì)（pk-sk）是密碼學(xué)安全的基石，很多的應(yīng)用都是基于pk-sk， 例如https網(wǎng)頁，銀行以及數(shù)字貨幣等。pk-sk，相對(duì)于傳統(tǒng)的AES， DES以及國密的...
-
基于Schnorr簽名的Pedersen承諾一致性證明
順著前一個(gè)帖子的未盡事宜自行考慮了以下問題：兩方各自有一個(gè)Pedersen Commitment，想要證明其承諾值相同，且證明過程不能對(duì)第三方泄露承諾值；如果實(shí)際上承諾值不相...
-
基于Pedersen承諾的準(zhǔn)“全同態(tài)”運(yùn)算源自壹賬通公開的一個(gè)專利 初始化 1) 有一個(gè) 群，基點(diǎn)g 2) 有一個(gè)雙線性pairing e(p,q) 3) 可信第三方（或一堆人構(gòu)成的整體可信第三方共同）生成隨機(jī)數(shù)a，...
-
@鄧丹陽 它可以結(jié)合 STAKING 的，可以一份錢對(duì)應(yīng)一個(gè)邏輯節(jié)點(diǎn)，針對(duì)邏輯節(jié)點(diǎn)而不是物理節(jié)點(diǎn)抽簽。另外一方面，POW也是有HONEST PLAYER 占優(yōu)的假設(shè)的。關(guān)鍵不是假設(shè)是什么，而是如何用一種博弈機(jī)制引導(dǎo)人們?nèi)プ龊檬?，這個(gè)不是人治，是人性
簡評(píng)三個(gè)基于VRF的共識(shí)算法
上交所技術(shù)公司 朱立 Algorand、Dfinity和Ouroboros Praos三個(gè)共識(shí)算法（Dfinity雖然是項(xiàng)目名，這里用來稱呼其共識(shí)算法也應(yīng)無不妥）近期較受關(guān)注...
-
-
zkLedger: why it fails and how to fix it上交所技術(shù)公司 朱立 先復(fù)制一小段項(xiàng)目簡介： zkLedger的文章在2018年發(fā)表在頂會(huì)NSDI上面，題目為《zkLedger: Privacy-Preserving Au...
-
caddy做反向代理的配置記錄
1. 有時(shí)你的VPS不是為了讓全世界來訪問的，而且就算是你自己訪問也不需要真的關(guān)心網(wǎng)站證書是否由可靠來源簽發(fā)，這時(shí)候用openssl自簽一個(gè)10年的證書就可以了。-nodes...
-
Oblivious Transfer 很不錯(cuò)的一篇文章除了OT還有其他東西，OT部分很清楚 https://crypto.stanford.edu/pbc/notes/crypto/ 最后一部分的閱讀筆記，其要點(diǎn)是說明復(fù)雜度的1...
-
對(duì)Basic HotStuff 證明的完善上交所技術(shù)公司 朱立 毋庸置疑，HotStuff 是個(gè)非常棒的BFT算法，近期搶了不少眼球。本文考察了其論文中對(duì)Basic HotStuff 的證明過程，列出幾處值得商榷之處...
