BTC $76,616.49 +10.20%
ETH $2,382.65 +6.17%
BNB $670.81 +6.85%
XRP $1.32 +18.63%
SOL $90.52 +5.44%
TRX $0.3387 +1.63%
DOGE $0.0843 +12.35%
ADA $0.2110 +14.98%
BCH $257.13 +20.83%
LINK $11.59 +10.17%
HYPE $73.78 +3.23%
AAVE $102.60 +6.46%
SUI $0.7781 +11.19%
XLM $0.1890 +11.80%
ZEC $644.64 +15.65%
BTC $76,616.49 +10.20%
ETH $2,382.65 +6.17%
BNB $670.81 +6.85%
XRP $1.32 +18.63%
SOL $90.52 +5.44%
TRX $0.3387 +1.63%
DOGE $0.0843 +12.35%
ADA $0.2110 +14.98%
BCH $257.13 +20.83%
LINK $11.59 +10.17%
HYPE $73.78 +3.23%
AAVE $102.60 +6.46%
SUI $0.7781 +11.19%
XLM $0.1890 +11.80%
ZEC $644.64 +15.65%

pro

All
Article
Flash

Gate's Japanese stock trading officially launched, covering approximately 300 stocks listed on the Tokyo Stock Exchange in the first batch

Gate announces the official launch of its Japanese stock trading service, initially covering about 300 stocks listed on the Tokyo Stock Exchange (TSE), including popular targets such as Toyota Motor, Sony Group, SoftBank Group, Mitsubishi UFJ Financial Group, Nintendo, and Tokyo Electron. Users do not need to open a separate traditional Japanese brokerage account or exchange for yen; they can directly participate in Japanese stock trading on the Gate platform using USDT. Currently, Japanese stock trading has been launched on the Gate Web platform, with the App version set to go live soon.In terms of trading functionality, Japanese stocks share the same stock account and related trading capabilities with Gate's US, Hong Kong, and South Korean stocks, supporting features such as market viewing, buying, selling, position management, and transaction record inquiries. Japanese stocks support trading during Japanese time from 09:00 to 11:30 and 12:30 to 15:25, corresponding to UTC+8 time from 08:00 to 10:30 and 11:30 to 14:25.The launch of Japanese stocks further enriches Gate's global multi-asset trading scenario. Currently, the platform supports over 10,000 US stocks and ETFs, more than 1,500 Hong Kong stocks, over 1,000 South Korean stocks, and about 300 Japanese stocks, providing a total of over 12,800 stock and ETF trading options. In the future, Gate will continue to expand into global core markets and quality assets, promoting the integration of traditional finance and digital assets, and providing users with a more diverse one-stop asset allocation choice.

first_img The Ethereum Foundation launches the better.codes challenge to advance the provable security of hash SNARKs

The open automated research challenge better.codes, created by the Ethereum Foundation's formal verification team in collaboration with Yukon and zkSecurity, is now live. This platform formalizes the self-contained problems from the Proximity Prize in Lean and places the machine-checked reliability bounds of koalaIRS12 on a public leaderboard, allowing anyone to contribute to improvements, advancing hash-based SNARK and post-quantum Ethereum-related security benchmarks.Solvers can bring their own AI agents to prove higher lower bounds of reliability for this Reed-Solomon proximity problem, moving towards a fixed target of 128 bits. The Lean kernel verifies each submission, and the promoted proofs will enhance the public bounds, with new lemmas, proof techniques, and impossibility results being synchronized upstream for reuse by all participants. Most hash SNARKs in production environments rely on related proximity gaps and related conclusion agreements, while the currently provable results remain below the benchmarks trusted by researchers; this challenge aims to narrow this gap in an open, incremental, and verifiable manner.koalaIRS12 originates from related papers and is end-to-end formalized in ArkLib. Participants can log in via GitHub and clone the challenge repository, submitting under fixed theorem statements and verification frameworks; results confirmed by the comparator and Lean kernel are recorded in a public repository, noting the solver and the model used. Today's launch features the reliability challenge that raises the proven lower bound of koalaIRS12 to 128 bits, with more problems potentially added later, subject to project terms.
app_icon
ChainCatcher Building the Web3 world with innovations.