Результатов: 22

Understanding PLONK

Special thanks to Justin Drake, Karl Floersch, Hsiao-wei Wang, Barry Whitehat, Dankrad Feist, Kobi Gurkan and Zac Williamson for review Very recently, Ariel Gabizon, Zac Williamson and Oana Ciobotaru announced a new general-purpose zero-knowledge proof scheme called PLONK, standing for the unwieldy quasi-backronym “Permutations over Lagrange-bases for Oecumenical Noninteractive arguments of Knowledge”. дальше »

2019-9-24 04:03


Microsoft анонсировала разработку схемы верификации смарт-контрактов эфириума

В своём блоге корпорация Microsoft анонсировала разработку открытой формальной схемы верификации смарт-контрактов эфириума на языке программирования Solidity. Инструмент будет называться VeriSol (Verifier for Solidity) — он позволит разработчикам писать спецификации для смарт-контрактов, которые затем можно будет протестировать с использованием математической логики. дальше »

2019-6-6 17:31


Microsoft seems very proud of its smart contract auditing tools for blockchain

Microsoft is very proud of its Azure Blockchain-powered smart contract auditing tools for Ethereum – so much so it decided to flaunt some of the benefits of the software in a new blog post. “One of the key drivers making blockchain-based applications programmable, accessible to enterprise customers, and able to meet the diverse needs of a variety of sectors [are smart contracts],” the post reads. дальше »

2019-6-4 12:53


Onfido Global ID Verifier Partners with BitPay to Accept Bitcoin Payments, Plans International Expansion

Onfido will start accepting Bitcoin payments after their partnership with BitPay. In exchange, BitPay will use Onfido to implement KYC procedures when registering new users. The integration of Bitcoin payments will enable Onfido to access clients that are overlooked by conventional financial institutions. дальше »

2019-1-24 22:40


STARKs, Part I: Proofs with Polynomials

Special thanks to Eli Ben-Sasson for ongoing help, explanations and review, coming up with some of the examples used in this post, and most crucially of all inventing a lot of this stuff; thanks to Hsiao-wei Wang for reviewing Hopefully many people by now have heard of ZK-SNARKs, the general-purpose succinct zero knowledge proof technology that can be used for all sorts of usecases ranging from verifiable computation to privacy-preserving cryptocurrency. дальше »

2018-7-21 23:03