News

```htmlJinse Finance reported that on June 5, ZEC suffered a 30% drop due to the unlimited forgery vulnerability in the Orchard pool. Josh Swihart, founder of ZODL, stated that the Orchard vulnerability exists in one of its rules, which was written too loosely and allowed false information to be accepted and still pass verification. As a result, the engine might mistakenly consider fake transactions to be valid. In fact, someone may have forged ZEC in the Orchard transaction pool. This is a flaw in the handwritten rules, not an issue with the underlying cryptography or the proof-generating engine. The question is how to ensure such vulnerabilities do not happen again, and the best answer is formal verification. Tachyon is currently being built using formal verification, with a more concise and unified rulebook. Compared to Orchard, there are fewer special cases and complex details, meaning the entire rulebook can be perfectly verified mathematically. Several teams are already working on formally verifying Orchard's existing circuits. If verification is successful, launching a second Orchard pool in the near term may be the best solution before Tachyon. While Tachyon is more streamlined, a formally verified Orchard pool can serve as an effective transitional measure.```

ChainCatcher News, according to Coinglass data, the current Cryptocurrency Fear & Greed Index is 13, up 2 points from yesterday. The 7-day average is 19 and the 30-day average is 30.

BlockBeats News, June 5th, Standard Poor's Global announced that it will maintain its existing eligibility criteria for major benchmark indices such as the SP 500 Index, rejecting a proposal to expedite the rapid inclusion of giant companies like SpaceX after their IPO. On Thursday, the SP Index stated in a press release that it will not shorten the current 12-month "seasoning period" for newly listed companies, nor will it waive the existing profitability and public float requirements based on company size. This means that SpaceX will need to wait at least one year after its IPO to be included in the SP 500 Index, and it will need to meet the index's existing profitability and public float requirements. This includes the company having achieved profitability in the most recent quarter as well as the sum of the past four quarters according to GAAP, and having a public float of no less than 50%. (Jinse)