BTC $83,418.35 -1.40%
ETH $2,679.79 -0.27%
BNB $762.79 -1.96%
XRP $1.49 -1.98%
SOL $118.29 -3.74%
TRX $0.3358 +0.66%
DOGE $0.0936 -3.62%
ADA $0.2450 -4.17%
BCH $307.95 -7.95%
LINK $15.26 +8.99%
HYPE $87.21 -4.76%
AAVE $146.91 -4.87%
SUI $1.14 -9.20%
XLM $0.2271 +4.66%
ZEC $1,451.15 -9.43%
AAPL $338.52 -0.48%
AMZN $246.35 -1.47%
GOOGL $342.54 -0.44%
MSFT $510.33 -1.43%
META $716.73 -4.46%
NVDA $229.26 +1.75%
TSLA $357.81 -4.21%
SNDK $1,713.17 -4.04%
INTC $116.02 -7.52%
SPCX $146.00 -2.20%
MU $1,054.21 -3.89%
AMD $609.36 -4.19%
BTC $83,418.35 -1.40%
ETH $2,679.79 -0.27%
BNB $762.79 -1.96%
XRP $1.49 -1.98%
SOL $118.29 -3.74%
TRX $0.3358 +0.66%
DOGE $0.0936 -3.62%
ADA $0.2450 -4.17%
BCH $307.95 -7.95%
LINK $15.26 +8.99%
HYPE $87.21 -4.76%
AAVE $146.91 -4.87%
SUI $1.14 -9.20%
XLM $0.2271 +4.66%
ZEC $1,451.15 -9.43%
AAPL $338.52 -0.48%
AMZN $246.35 -1.47%
GOOGL $342.54 -0.44%
MSFT $510.33 -1.43%
META $716.73 -4.46%
NVDA $229.26 +1.75%
TSLA $357.81 -4.21%
SNDK $1,713.17 -4.04%
INTC $116.02 -7.52%
SPCX $146.00 -2.20%
MU $1,054.21 -3.89%
AMD $609.36 -4.19%

proof

All
Article
Flash

first_img Justin Sun: Establish the Justin Sun Prize to reward mathematically verified proofs

The founder of TRON, Justin Sun, announced the establishment of the "Justin Sun Award," which currently focuses only on mathematics. He stated that the award follows the problem rather than the individual, with no annual meeting, nominations, or age restrictions; each problem has two columns for signatures, one for the prover and one for the person who formalizes the proof and writes it into the machine. Both can be the same person, or they can be a person, AI, or a person using AI. The condition for triggering the prize is that the machine verifies the proof from the first line to the last line without error. Once verification is passed, the names in the two columns become the prize owners for that problem.The rules also include: before machine verification, if the mathematical community has accepted a human proof, it can be listed first, with the prize remaining unchanged, and the status being "Proven, awaiting formalization." The prize in the proof column is only awarded to problems that are solved after being listed; for problems that were already solved at the time of listing, the prover is still credited, but the prize is only awarded to the person who completes the formalization, not retroactively for the history of mathematics. The list of problems is determined by Justin Sun's signature for the listed problems and pricing; once listed, the price can only increase, and money can only be exchanged, not refunded. Mistakes in the problems will still be paid, and they will be re-listed afterward; beyond pricing, verification, payment, and naming, he does not participate in voting.Justin Sun stated that the focus of public welfare will shift to this award, with the initial prize pool already deposited into the blockchain, with the address and balance made public. He only retains the right to continue injecting funds; the award proof and prize distribution will also be made public on the chain. He mentioned that naming it after a person is to avoid name changes due to institutional changes and expressed that wealth comes from mathematics, hoping to "come from mathematics and return to mathematics."
2026-09-16

Liquid Network releases emergency fix: Elements v23.3.4 fixes Proof verification cache vulnerability

Liquid Network has released the latest update stating that the emergency version Elements v23.3.4 is now online. Functionary nodes have immediately begun upgrading and all Liquid node operators are advised to synchronize updates. This version addresses the previously discovered Proof verification cache vulnerability and strengthens the cache keys used for Range Proof.Regarding network recovery, Blockstream states that it is still formulating a recovery plan, which is expected to proceed in three phases: restoring block production while continuing to suspend Peg operations; replaying verified valid transactions; and restoring Peg operations after the network status is fully restored and funds are confirmed to be returned. Currently, the first two phases are being tested in parallel, and any phase will only advance once safety is confirmed. Liquid Network indicates that Elements v23.3.4 has completed multiple rounds of internal and external reviews, with participants including the Bitcoin Red Team, Alpen Labs, and other teams.At the same time, Liquid Network reminds users to be vigilant against fraudulent upgrade websites exploiting this incident. Information should only be obtained through official Liquid Network and Blockstream channels, and users should never send funds to strangers or disclose private keys or recovery phrases.

Huobi HTX updated the September Merkle Tree reserve proof, with mainstream asset reserve ratios exceeding 100%

According to the latest Merkle Tree Proof of Reserves (PoR) data from Huobi HTX, as of September 1, 2026 (UTC+8), the reserve ratios of various mainstream assets on the platform remain above 100%, continuously ensuring the safety of user assets with sufficient reserves and committing to 100% redemption, ensuring that users can trade and withdraw at any time. As one of the earlier platforms in the industry to continuously disclose Merkle Tree Proof of Reserves, Huobi HTX has publicly disclosed PoR data for 47 consecutive months, enhancing platform transparency in a long-term and verifiable manner.The specific updated reserve ratios are as follows: BTC (104%), ETH (102%), TRX (109%), USDs (102%), HTX (103%), XRP (104%), DOGE (101%), SOL (103%). Users can visit the "Assets - Proof of Reserves Report" page on the Huobi HTX official website to view.It is worth mentioning that starting from April this year, to further enhance the visual representation of US dollar asset reserve data, Huobi HTX has unified and aggregated USDT, USDC, and other US dollar stablecoins as "USDs" for display. The asset data of each currency remains independently recorded and verified to ensure that the reserve information is authentic, clear, and traceable.In the future, Huobi HTX will continue to adhere to the 1:1 reserve principle, using verifiable data, traceable on-chain assets, and a regular information disclosure mechanism to continuously enhance asset transparency, allowing users to see reserves, verify assets, and use them with greater peace of mind.

first_img Wyoming stablecoin adopts Chainlink reserve proof, FRNT circulation is less than one million coins

On September 2, the Wyoming Stable Token Committee announced the adoption of Chainlink Proof of Reserve as the exclusive on-chain reserve verification layer for the Frontier Stable Token (FRNT), with reserves and supply balances audited by The Network Firm published to on-chain readable feeds. The current scale available for verification is not large: according to CoinGecko data, the total supply of FRNT is 967,900 tokens, with a unit price of approximately $0.99884, which only accounts for about 0.2% of the base scenario estimate (508.7 million tokens) submitted by the committee to the state legislature's budget meeting materials; the 24-hour trading volume is $160, all occurring on Kraken.The announcement separates the two products, with only Proof of Reserve currently online. The Proof of Reserve Secure Mint component, which programmatically prevents minting when reserves cannot cover total supply, is said by the committee to still be in the "adoption process." The committee previously published daily proofs on its official website, and this adjustment changes the method of data delivery rather than the update frequency. Committee Executive Director Anthony Apollo stated that adopting Chainlink's reserve proof provides transparent and verifiable confirmation that FRNT is fully backed by high-quality reserve assets; Chainlink Labs Chief Business Officer Johann Eid remarked that this demonstrates that governments can utilize the Chainlink platform to put trustworthy, fully verifiable on-chain financial infrastructure into production.

first_img Lighter average block proof time decreased from 5.3 minutes to about 1 minute

The decentralized perpetual contract protocol Lighter announced that its average block proof time has decreased from about 5.3 minutes to about 1 minute over the past month. This progress was achieved through two independent optimizations launched on July 23 and August 23. Lighter can now complete block verification faster, thereby increasing processing capacity, reducing infrastructure costs, and creating space for further expansion.The first optimization is the Heavy/Light decomposition. This solution splits the transaction circuit into light circuits and heavy circuits, allowing simple quote updates, which account for the vast majority of transactions, to only pay for light constraints, thus halving the proof time. The second optimization comes from the Prover backend optimization brought about by the proof competition held in collaboration with Eigen Labs, which again halves the proof time under the same circuit conditions. The first batch of optimizations went live on August 23, with more batches still in progress. Additionally, on August 10, all Schnorr signature verifications were incorporated into a single Plonky3 proof for each block, resulting in approximately a 20% improvement.The above optimizations are orthogonal and their effects are cumulative. The remaining competition optimizations are expected to bring about an additional 2x improvement, potentially reaching a total of about 10x compared to mid-July. Currently, Lighter's sustained processing capacity has exceeded historical peak loads, and the finality limit for withdrawals has been reduced from about 21-22 minutes to about 16-17 minutes, maintaining stability during peak traffic periods.

Vitalik proposed the "extremely simplified chain" solution, where validators submit STARK proofs daily, and the state storage is compressed to 6 bytes

Ethereum co-founder Vitalik Buterin published the proposal "The Extremely Lean Chain," demonstrating how to radically compress the state requirements of the Ethereum consensus chain in the context of the "Lean" upgrade. This plan shifts responsibility to validators, who manage and periodically prove their state through ZK proofs, thereby eliminating the processing burden for each epoch and potentially supporting millions of validators.The core mechanisms include: removing the validator public keys from the on-chain state, storing only the deposit tree index; canceling real-time reward and penalty processing, with validators generating daily STARK proofs of their participation and updating balances; completely re-randomizing validator identities daily, achieving strong anonymity through ZK-STARK, with withdrawal addresses exposed only at the time of withdrawal and not publicly linked to deposits or on-chain activities. Vitalik stated that based on upgrades such as single-slot finality and quantum-resistant signature aggregation, the state requirement per validator could be compressed from approximately 180 bytes to 6 bytes. The daily proof cost for a single validator requires processing about 5400 Merkle branches, which can be completed within 1 hour on ordinary hardware, and the on-chain burden can be reduced through aggregated proofs. Additionally, this design can achieve a "virtually free" single secret leader election function, with 1 day as the conservative cycle length and 1 hour as the lower limit.
app_icon
ChainCatcher Building the Web3 world with innovations.