• Latest
Facebook’s Libra Lacks Foundational Components for Crypto Key Security

The Specs Behind Bitcoin’s Lightning Pass Their First ‘Formal’ Security Test

September 22, 2019
ygg sea surpasses 10,000 scholarships in just six months of launch

YGG SEA Surpasses 10,000 Scholarships in Just Six Months of Launch

May 6, 2022
mintable launches industry changing gas free minting service on ethereum

Mintable Launches Industry Changing Gas Free Minting Service on Ethereum

May 1, 2022
5 projects enabling smart contract development on bitcoin

5 Projects Enabling Smart Contract Development on Bitcoin

April 29, 2022
bitcoin atm installed in mexico's senate building

Bitcoin ATM installed in Mexico’s Senate Building

April 27, 2022
cross chain services play a crucial role in facilitating continued adoption of defi applications

Cross-Chain Services Play a Crucial Role in Facilitating Continued Adoption of DeFi Applications

April 26, 2022
justin sun launches usdd, integrating the blockchain world and the real world with the decentralized stablecoin

Justin Sun Launches USDD, Integrating the Blockchain World and the Real World with the Decentralized Stablecoin

April 25, 2022
nfts: the next musical revolution

NFTs: The Next Musical Revolution

April 24, 2022
things you should know before investing in nfts

Things You Should Know Before Investing in NFTs

April 24, 2022
what are wrapped tokens?

What Are Wrapped Tokens?

April 23, 2022
what is the future of ethereum (eth)?

What is the future of Ethereum (ETH)?

April 22, 2022
green gaming

Everything You Need to Know About Play-to-Earn on Algorand in 2022

April 21, 2022
$ape going bananas as rumors of upcoming land sale of bayc metaverse gather momentum

$APE Going Bananas As Rumors of Upcoming Land Sale of BAYC Metaverse Gather Momentum

April 21, 2022
  • Home
  • Coin Market Cap
  • Bitcoin
  • Ethereum
  • Ripple
  • Litecoin
  • Alt Coin
  • Business
  • Trading
  • Mining
CoinNewsDaily
  • Home
  • Coin Market Cap
  • Bitcoin
  • Ethereum
  • Ripple
  • Litecoin
  • Alt Coin
  • Business
  • Trading
  • Mining
No Result
View All Result
  • Home
  • Coin Market Cap
  • Bitcoin
  • Ethereum
  • Ripple
  • Litecoin
  • Alt Coin
  • Business
  • Trading
  • Mining
No Result
View All Result
CoinNewsDaily
No Result
View All Result
Home Tech

The Specs Behind Bitcoin’s Lightning Pass Their First ‘Formal’ Security Test

coinnewsdaily by coinnewsdaily
September 22, 2019
in Tech
0
Facebook’s Libra Lacks Foundational Components for Crypto Key Security
190
SHARES
1.5k
VIEWS
Share on FacebookShare on Twitter

Related articles

ygg sea surpasses 10,000 scholarships in just six months of launch

YGG SEA Surpasses 10,000 Scholarships in Just Six Months of Launch

May 6, 2022
5 projects enabling smart contract development on bitcoin

5 Projects Enabling Smart Contract Development on Bitcoin

April 29, 2022

A pair of researchers have released the results of a formal verification of bitcoin’s lightning network.

Lightning is new(ish), experimental, and bugs that could lead to loss of user funds are still being discovered. But even so, the paper – released last month by researchers Aggelos Kiayias and Orfeas Litos from The University of Edinburgh. Kiayias is also the chief scientist for blockchain firm IOHK – brought a dose of good news on the underlying security of the nascent payment network.

To date, lightning hadn’t been tested mathematically by way of formal security, which is a means of establishing how secure a computer science idea is with the help of mathematics. The paper describes the lack of formal verification for lightning’s code specification “a dire state of affairs” since lightning is today used to secure real money — at least $8.5 million.

The paper explains:

“As a result, our treatment delineates exactly how the security guarantees of the protocol depend on the properties of the underlying ledger.”

The process by which they did this is known as formal verification. While it’s a popular in the cryptocurrency space and helpful for determining the security of code, “formal security” is not done on every code program. Because of the deep knowledge required, it’s quite expensive.

‘Rock-solid’ specification

The results are positive, showing that the underlying cryptography piled together to make the payment system work is sound, the researchers argue.

“All the security-critical parts of the system are rock-solid. This was the expected result – many smart people have collaborated to converge to the current incarnation of lightning network,” Litos told CoinDesk.

What does that mean exactly? Litos and Kiayias took a look at lightning network’s specifications, which are the rules every lightning software implementation needs to be able to send payments to the rest of the network.

Litos told CoinDesk:

“The main result is that lightning network is as secure as bitcoin.”

To determine this, they took a look at the nitty-gritty cryptography that underpins lightning. Cryptography is composed of mathematical algorithms which provide the basis for privacy and security on the internet. In lightning, cryptography is the glue holding the payment system together, with the final result of allowing a person to send bitcoin to another.

So, the researchers look at these various cryptographic technologies that underlie lightning, including digital signatures, which in the case of bitcoin can only be produced by a user with the correct bitcoin private key.

“An honest participant of lightning network can only lose their money if the signatures or the hash function used by bitcoin are broken,” Litos said, adding:

“The use of a realistic underlying ledger allowed us to pinpoint the exact security bounds for the lightning network operating parameters. Specifically, we provide a concrete answer to the question ‘how often a lightning network user has to check the blockchain, especially when a multi-hop payment is under way?’”

Specs not software

While the specification verification is an important step, it only applies to the code blueprint of lightning and not the software implementations that have been produced by developers.

While the paper argues that the lightning network is “as secure as bitcoin,” that doesn’t mean that the software itself is safe. That might sound like a subtle distinction, but there’s a big difference.

There are three main lightning network implementations which follow the specs: Acinq’s Eclair, Blockstream’s c-lightning, and Lightning Lab’s lnd.

“Our analysis is based on the formal specification, not an implementation. As a result, our work does not rule out bugs in the various implementations, only in the specification,” Litos said.

That said, Litos noted that future formal analysis could eventually be used to take a look at the actual code.

“Ideally, formal verification of the code, which would prove that it matches the specification, would increase our trust to the system. But before that, a machine-readable version of the specification would be needed,” he said.

Keys image via Shutterstock

Credit: Source link

Tags: Crypto Tech
Share76Tweet48
Previous Post

Ripple On-boards 2 New Banks and flashes XPR customers List

Next Post

Bitcoin Price Remains Flat, But Reasons For Optimism Are Emerging

coinnewsdaily

coinnewsdaily

CoinNewsDaily.com is an online Crypto Coin News Website that aims to provide latest trendy news from market and around the world.

Related Posts

ygg sea surpasses 10,000 scholarships in just six months of launch
Alt Coin

YGG SEA Surpasses 10,000 Scholarships in Just Six Months of Launch

May 6, 2022
5 projects enabling smart contract development on bitcoin
Alt Coin

5 Projects Enabling Smart Contract Development on Bitcoin

April 29, 2022
bitcoin atm installed in mexico's senate building
Bitcoin

Bitcoin ATM installed in Mexico’s Senate Building

April 27, 2022
cross chain services play a crucial role in facilitating continued adoption of defi applications
Alt Coin

Cross-Chain Services Play a Crucial Role in Facilitating Continued Adoption of DeFi Applications

April 26, 2022
green gaming
Business

Everything You Need to Know About Play-to-Earn on Algorand in 2022

April 21, 2022
axie infinity: what are the minimum android phone requirements to play on mobile
Alt Coin

Axie Infinity: What Are the Minimum Android Phone Requirements to Play on Mobile

April 21, 2022
Load More
Next Post
Bitcoin’s Value Is Surging, Yet Technical Data Highlights Challenges Ahead

Bitcoin Price Remains Flat, But Reasons For Optimism Are Emerging

Categories

  • Alt Coin
  • Bitcoin
  • Business
  • Ethereum
  • ICO
  • Litecoin
  • Mining
  • NFT
  • Ripple
  • Tech
  • Trading

What New here?

  • YGG SEA Surpasses 10,000 Scholarships in Just Six Months of Launch
  • Mintable Launches Industry Changing Gas Free Minting Service on Ethereum
  • 5 Projects Enabling Smart Contract Development on Bitcoin

Subscribe to Get More!

Loading
  • About Us
  • Contact Us
  • Privacy & Policy

© 2018-2021 CoinNewsDaily.com by CoinNewsDaily Inc. Crafted with Love by iFtiDev

No Result
View All Result
  • Home
  • Coin Market Cap
  • Bitcoin
  • Ethereum
  • Ripple
  • Litecoin
  • Alt Coin
  • Business
  • Trading
  • Mining

© 2018-2021 CoinNewsDaily.com by CoinNewsDaily Inc. Crafted with Love by iFtiDev

  • bitcoinBitcoin(BTC)$19,168.310.82%
  • ethereumEthereum(ETH)$1,052.85-0.40%
  • tetherTether(USDT)$1.00-0.11%
  • binancecoinBNB(BNB)$217.510.22%
  • rippleXRP(XRP)$0.3176851.47%
  • cardanoCardano(ADA)$0.4487520.15%
  • SolanaSolana(SOL)$32.950.93%
  • dogecoinDogecoin(DOGE)$0.0663031.26%
  • polkadotPolkadot(DOT)$6.730.48%
  • daiDai(DAI)$1.000.10%
  • tronTRON(TRX)$0.0657023.63%
  • Shiba InuShiba Inu(SHIB)$0.0000101.14%
  • leo-tokenLEO Token(LEO)$5.882.50%
  • matic-networkPolygon(MATIC)$0.459252-3.28%
  • litecoinLitecoin(LTC)$50.000.24%
  • FTXFTX(FTT)$24.131.07%
  • OKBOKB(OKB)$12.321.44%
  • chainlinkChainlink(LINK)$6.100.48%
  • CronosCronos(CRO)$0.1118380.33%
  • stellarStellar(XLM)$0.1071140.42%
  • cosmosCosmos Hub(ATOM)$8.030.08%
  • moneroMonero(XMR)$117.832.43%
  • algorandAlgorand(ALGO)$0.3059620.89%
  • ethereum-classicEthereum Classic(ETC)$14.580.39%
  • bitcoin-cashBitcoin Cash(BCH)$103.380.63%
  • vechainVeChain(VET)$0.0222931.33%
  • tezosTezos(XTZ)$1.483.76%
  • Internet ComputerInternet Computer(ICP)$5.251.19%
  • filecoinFilecoin(FIL)$5.270.67%
  • theta-tokenTheta Network(THETA)$1.19-1.80%
  • ElrondElrond(EGLD)$51.112.93%
  • bitcoin-cash-svBitcoin SV(BSV)$53.612.13%
  • eosEOS(EOS)$0.930.52%
  • paxos-standardPax Dollar(USDP)$1.00-0.05%
  • makerMaker(MKR)$888.33-0.45%
  • AaveAave(AAVE)$57.032.18%
  • iotaIOTA(MIOTA)$0.2658700.06%
  • zcashZcash(ZEC)$54.051.72%
  • huobi-tokenHuobi(HT)$4.33-0.29%
  • havvenSynthetix Network(SNX)$2.786.75%
  • basic-attention-tokenBasic Attention(BAT)$0.392278-1.82%
  • neoNEO(NEO)$8.15-0.13%
  • zilliqaZilliqa(ZIL)$0.037761-1.18%
  • wavesWaves(WAVES)$5.242.86%
  • PancakeSwapPancakeSwap(CAKE)$3.08-0.27%
  • dashDash(DASH)$41.78-0.61%
  • KusamaKusama(KSM)$48.651.66%
  • nemNEM(XEM)$0.041103-5.43%
  • Elrond ERDElrond ERD(ERD)$0.0259290.00%
  • CompoundCompound(COMP)$47.802.32%
  • ethlendAave [OLD](LEND)$4.103.48%
  • qtumQtum(QTUM)$2.770.55%
  • bitcoin-goldBitcoin Gold(BTG)$15.36-0.26%
  • omisegoOMG Network(OMG)$1.811.85%
  • golemGolem(GLM)$0.2421858.57%
  • ontologyOntology(ONT)$0.231485-0.82%
  • SushiSushi(SUSHI)$1.016.01%
  • umaUMA(UMA)$2.8413.56%
  • yearn-financeyearn.finance(YFI)$5,660.37-1.61%
  • digibyteDigiByte(DGB)$0.0091490.79%
  • UniswapUniswap(UNI)$2.4438.80%
Posting....