BTC $79,993.67 -0.76%
ETH $2,320.28 -0.70%
BNB $739.80 -1.82%
XRP $1.29 -1.81%
SOL $100.41 -1.03%
TRX $0.3311 -0.03%
DOGE $0.0788 -0.48%
ADA $0.2007 -1.40%
BCH $278.54 -5.95%
LINK $11.63 +0.28%
HYPE $88.65 +10.11%
AAVE $133.13 +0.66%
SUI $0.9211 -0.51%
XLM $0.1705 +0.48%
ZEC $1,267.57 -1.49%
AAPL $348.20 +0.44%
AMZN $248.17 -2.05%
GOOGL $288.27 -11.19%
MSFT $540.66 +1.86%
META $617.12 -0.81%
NVDA $214.20 -2.52%
TSLA $403.75 -1.80%
SNDK $1,365.73 +0.45%
INTC $92.47 -3.02%
SPCX $142.96 -4.00%
MU $954.99 -0.52%
AMD $563.11 -1.16%
BTC $79,993.67 -0.76%
ETH $2,320.28 -0.70%
BNB $739.80 -1.82%
XRP $1.29 -1.81%
SOL $100.41 -1.03%
TRX $0.3311 -0.03%
DOGE $0.0788 -0.48%
ADA $0.2007 -1.40%
BCH $278.54 -5.95%
LINK $11.63 +0.28%
HYPE $88.65 +10.11%
AAVE $133.13 +0.66%
SUI $0.9211 -0.51%
XLM $0.1705 +0.48%
ZEC $1,267.57 -1.49%
AAPL $348.20 +0.44%
AMZN $248.17 -2.05%
GOOGL $288.27 -11.19%
MSFT $540.66 +1.86%
META $617.12 -0.81%
NVDA $214.20 -2.52%
TSLA $403.75 -1.80%
SNDK $1,365.73 +0.45%
INTC $92.47 -3.02%
SPCX $142.96 -4.00%
MU $954.99 -0.52%
AMD $563.11 -1.16%

intention

All
Article
Flash

first_img Cardano founder is developing a new programming language that integrates transaction intentions with Groth16 proofs

According to CoinDesk, Cardano founder Charles Hoskinson stated that he is personally developing a new programming language for the Cardano network and collaborating with Input Output Global engineer Lucas Rosa. Lucas Rosa is a co-creator of Aiken, one of Cardano's main smart contract languages. Hoskinson posted on the X platform that this will be the first programming language to combine user transaction completion intentions with cryptographic proofs.It is reported that the language will support three tools: transaction intent, data with carry proofs, and Groth16 proofs. Transaction intent allows users to specify the goals they want to achieve, while leaving the specific steps to the application, for example, traders can request that a token be exchanged for another only when the final price meets certain conditions, without specifying the exact path.Data with carry proofs can attach cryptographic evidence to information, proving that it complies with specific rules, allowing other applications to verify without recalculating. Groth16 is a widely used proof system that can generate small-sized, fast-verifying proofs, demonstrating that conditions have been met without exposing private data.With the combination of the three, developers can build applications that coordinate transactions, check complex conditions, and pass verified information between services, ultimately verified by Cardano with a small proof. Currently, Cardano developers mainly use Haskell-based Plutus and Aiken to write smart contracts, while Input Output Global, founded by Hoskinson, has its own privacy blockchain Midnight with its language Compact. The name, public code, and release date of this new language have not yet been announced.

Gate directly connects to the IPO officially launched, the first project SpaceX opens for intention to subscribe applications

Gate announced that the first phase of its IPO Access project has officially launched, with SpaceX as the initial offering. Users can now submit their intention to subscribe through the Gate platform to participate in investment opportunities for popular company IPOs. The event adopts an "intention to subscribe" mechanism, and the platform will calculate the allocation weight based on the average locked amount during the subscription period.Ultimately, users may receive full allocation, partial allocation, or no allocation at all, with the specific results determined by the project's issuance situation and the actual allocation amount obtained by the platform. After receiving the IPO allocation, the corresponding stocks will be directly distributed to the Gate stock account. After the allocation ends, the relevant stocks will be listed on the Gate stock section on June 12, allowing users to directly engage in real stock trading or hold them, achieving a seamless transition from IPO subscription to secondary market trading.As an important part of Gate's stock business, IPO Access provides users with a new channel to participate in the subscription of globally popular companies going public. Currently, with the launch of IPO Access, Gate is gradually improving its product ecosystem covering Pre-IPO, IPO, and stock trading, providing users with a more convenient one-stop global investment experience.
app_icon
ChainCatcher Building the Web3 world with innovations.