Lookonchain APP

App Store

CertiK Co-Founder Zhong Shao Attends Web3 Scholar Summit, Unveils LiDO Framework to Tackle BFT Consensus Security Challenge

2025.04.08 13:16:16

On April 8th, during the 2025 Web3 Scholar Summit, Professor Zhong Shao, who is the Chair of the Yale University Computer Science Department and a Co-Founder of CertiK, publicly presented the LiDO model and the LiDO-DAG extension framework for the first time. This remarkable achievement, by means of a three-layer refined verification framework (security abstraction layer, liveness assurance layer, DAG extension layer), offers mechanized verifiability of security and liveness proofs for complex Byzantine Fault Tolerance (BFT) consensus protocols, with the aim of enhancing the reliability and scalability of the Web3 ecosystem. LiDO has been successfully applied to industrial-grade protocols such as Jolteon, completing the verification of more than tens of thousands of lines of Coq code. Professor Zhao
Relevant content

SpaceXAI: The Grok chatbot is already in the testing phase.

SpaceXAI has announced that its Grok chatbot is now in the testing phase, and starting today, it is available to desktop and iOS users who subscribe to the SuperGrok Heavy, Cursor Ultra, and Cursor Teams Premium plans.

39 minutes ago

Trend-following funds have taken a record short position in global bonds, with the US CPI report expected to be the key determinant of their profit and loss.

According to Bloomberg, data from UBS Group shows that Commodity Trading Advisors (CTAs), which seek to profit from price movements across various asset classes, tripled their underweight positions in bonds in July from two weeks prior. Since then, these bets have remained stable. If the upcoming U.S. Consumer Price Index (CPI) and Producer Price Index (PPI) push Treasury prices higher, the CTAs face the risk of losses. Strategist Nicolas Le Roux noted that a 1-basis-point move in the 10-year Treasury yield ahead of inflation data translates to roughly $300 million in profit or loss for CTAs, with this exposure being the largest UBS has recorded since it began compiling relevant data in 1990.

39 minutes ago

Brad Lightcap, head of special projects at OpenAI, is set to depart.

According to a report from The Information, Brad Lightcap, head of special projects and former chief operating officer (COO) of OpenAI, is set to leave the company. Over the past year, Lightcap’s internal responsibilities at OpenAI have undergone multiple adjustments, with his latest role being leading "special projects". A long-time core member of OpenAI’s management team, Lightcap shifted from his COO position to lead special projects in early 2026 during an executive reshuffle, overseeing cross-company matters including complex transactions and strategic investments, and reporting directly to CEO Sam Altman. His departure comes as OpenAI continues to expand its commercialization efforts, advance enterprise business and strategic partnerships. The company has previously implemented multiple rounds of organizational restructuring, including transferring some COO responsibilities to other executives. Brad Lightcap joined OpenAI in 2018, and prior to that held roles at Y Combinator and JPMorgan Chase. He was one of the key operations and business leaders during OpenAI’s transition from a research institute to a commercial AI company.

39 minutes ago

Fed's Goolsbee: The biggest problem facing the economy is inflation

Federal Reserve's Goolsbee said that as long as consumption remains robust, the economy will stay healthy. The biggest problem facing the economy is inflation. (Jinshi)

39 minutes ago

Market News: ZoomInfo Data Now Integrated into Microsoft Copilot Studio

According to market reports, ZoomInfo data has now been integrated into Microsoft Copilot Studio, and is available for use in Microsoft 365 Copilot, Dynamics 365, Excel, and Word.

39 minutes ago

OpenAI Special Projects Lead Brad Lightcap to Step Down

According to a report from The Information, Brad Lightcap, OpenAI’s head of special projects and former chief operating officer, is set to leave the company.

39 minutes ago

Popular tokens

BitcoinEthereumHyperliquidSolanaTRONBNBTetherAaveXRPPepeFartcoinOndoJupiterUniswapBonkPendleEthenaArbitrumAvalancheLidoChainlinkPolygonDogecoinCardano