Sabitlenmiş Tweet
Pinnochio Token
28 posts

Pinnochio Token
@pTokenSPL
Bringing pToken on chain early. 4xCUgkuWmpk1gmrcT9PmmCPVY8kFnHKCsMoLsRrNSPL
Katılım Şubat 2026
7 Takip Edilen132 Takipçiler

Our bridge program has been verified by Kani to prove that no input combination can cause:
- overflow
- underflow
- fund extraction
- ratio manipulation
- any violation of the bridge invariants
Tests done via Kani found here:
github.com/pTokenSPL/toke…

toly 🇺🇸@toly
Pls formally verify your solana programs with kani. This is basically going to be the only way to stay head of AI pen testing tools
English
Pinnochio Token retweetledi

additional 12% lock.
28% of total supply locked for > 1 year.
app.streamflow.finance/contract/solan…
English

The first pToken went live on solana mainnet approx. 1 month ago.
github.com/pTokenSPL/toke…
pToken 4xCUgkuWmpk1gmrcT9PmmCPVY8kFnHKCsMoLsRrNSPL
SolanaFloor@SolanaFloor
🚨JUST IN: SIMD-0266, a proposal introduced last year by @Anza_xyz, has been approved. The change introduces p-tokens, a more compute efficient token model that could make @Solana transactions up to 19× more efficient. Solana Foundation VP of Technology says ETA to mainnet is April.
English

Users can now transact with pTokens on our program via the web app.
We also have introduced a transaction inspector to properly display tx data when our program is interacted with.
#inspector" target="_blank" rel="nofollow noopener">ptoken.dev/#inspector

English

2026 is the year of the pToken.
Pinocchio Framework allows us to use less CU per tx (send, swap, mint, etc.)
SIMD-0266 will enable this.
wavey cavey ∿@cavemanloverboy
the highest EV thing solana can do rn for markets is not MCP, 100M cu blocks, ACE, or any other of these big ideas it's p-token
English

Our SPL <-> pToken bridge is live on our website:
ptoken.dev
A full web-wallet is now being built to allow users to interact with, send, and mint their own pTokens under our verified Pinocchio Token Program.

English

@toly Link to kani?
We've just verified builds for our bridge program & token program forks.
English

The first ever Pinocchio Token (Convertible 1:1 with $pToken SPL) has been minted on solana mainnet.
10,000,000 Exchanged via our bridge program ( Publicly verified )
solscan.io/tx/j1eTrMJytXK…

English






