StarkWare announced on the X platform that Stone Prover has been open sourced. Previously, developers will be able to independently review, optimize, and use Stone Prover code and build on it. StarkWare stated that open sourcing Prover is an important step towards decentralization of Starknet.
Welcome Back
Click “Sign in” to agree to Cointime’s Terms of Service and acknowledge that Cointime’s Privacy Policy applies to you.
Join CoinTime
Already have an account?
Click “page.Sign up” to agree to Cointime’s <a class="underline" href="#term-of-service">Terms of Service</a> and acknowledge that Cointime’s a class="underline" href="#privacy-policy">Privacy Policy</a> applies to you.
Sign in with email
Sign up with email
Your email
Check your inbox
Click the link we sent to to sign in.
Click the link we sent to to sign up.
StarkWare: Stone Prover has been open sourced
-
Wechat scan to share
Recommended for you
-
Grayscale to Launch Bitcoin ETF Options Following BlackRock’s Record Debut
The tooling on Grayscale's existing ETFs aims to generate income by employing a covered call strategy amid a surge in investor interest.
-
This Bitcoin Miner from Wall Street Bleeds Red Ink in Brutal Quarter
Cryptocurrency miners see revenue drop 28% as operational challenges persist. Stalled Bitcoin prices in Q3 and higher mining difficulty led to a net loss of $6M.
-
Shiba Inu whale holds 10% of SHIB supply, up 250,000x to $2.5B
A mysterious investor has made an over 250,000-fold return on his initial investment of $10,000, which is worth more than $2.5 billion today.
-
Bonk Flips Dogwifhat on Its Way to All-Time High—With Solana Along for the Ride
Solana’s top dog Bonk reclaimed its title from Dogwifhat, all while SOL comes close to beating its own record from 2021.
-
Binance will launch SLERFUSDT and SCRTUSDT perpetual contracts
Binance will launch SLERFUSDT and SCRTUSDT perpetual contracts with a maximum leverage of 75x on November 21, 2024 at 11:30 (UTC). -
Lido is preparing a blockchain identity verification platform codenamed "Y" to compete with World Network
According to insiders, Cyber Fund, led by Lido co-founders Konstantin Lomashuk and Vasiliy Shapovalov, is preparing a blockchain identity verification platform codenamed "Y" to directly compete with Sam Altman's World Network. Unlike World Network, which uses iris scanning for identity verification, the Y project will use users' social media and blockchain activity data, combined with Ethereum Attestation Service, to verify their identity. The solution aims to address the risk of biometric data leakage and minimize the potential for fraud. -
The country's first digital RMB-based intellectual property securitization product was successfully issued
"Yongxing-Guofu-Ningbo Intellectual Property Asset Support Special Plan (Specialization and Innovation)" with Yongzheng Asset Management as the manager and Yongxing Securities as the sales organization held a listing ceremony on the Shanghai Stock Exchange. The first issue size was 138 million yuan, with a term of 1 year and a coupon rate of 2.2%. The product's priority bond rating was AAA, and it was the first knowledge-based securities product to be invested in digital RMB form nationwide, and also a breakthrough in the Ningbo knowledge-based securities project. -
APT breaks through $9.5
market showed that APT broke through $9.5 and is now reporting at $9.51, with a 24-hour drop of 4.04%. The market is volatile, so please be prepared for risk control. -
BTC falls below $72,000
the market shows BTC has fallen below $72,000, currently trading at $71,959.7 with a 24-hour increase of 0.69%. The market is volatile, please be prepared for risk control. -
BTC breaks through $67,300
market data shows that BTC has broken through $67,300 and is currently trading at $67,301.99, with a 24-hour increase of 0.56%. The market is volatile, so please be prepared for risk management.
Daily Must-Read
-
Uniswap Labs, UNI holders could make $468M a year from new L2: DeFi Report
-
Avalanche Foundation to buy back nearly 2M AVAX sold to Terra in 2022
-
Gold Fever Hits Costco: 77% of Stores Sell Out Amid Soaring Demand for Bullion
-
$500M Bitcoin Buried in Landfill: Man Sues City After Decade-Long Battle for Recovery
-
Former BAYC creative director Jeff Nicholas joins Meta’s Reality Labs
-
Why is Solana's Dogwifhat (WIF) memecoin crashing?
All Comments