Dinger

[Oraclizer @Oraclizer]

Oraclizer’s research on atomic cross-domain state synchronization is now live on Ethereum Research.

This work provides mechanized Isabelle/HOL proofs for the state synchronization layer underlying our earlier RCP framework and EIP-RCP direction.

https://t.co/pFQSQzv6YK

[Very Network @verylabs]

📢 VERY × 토큰포스트 협업 이벤트 🎉

베리챗이 국내 1위, 글로벌 2위 크립토 미디어인 토큰포스트 @tokenpostkr 와 함께 특별한 리워드 프로젝트를 진행합니다. 🎉

🎁 1 라운드 기준
▫️ 알파리포트 → 매주 500 VERY
▫️ 아카데미 → 매주 750 VERY
▫️ 둘 다 → 매주 1,250 VERY

💰 총 1억 VERY | 12주 릴레이
※ 라운드가 진행될수록 지급량 감소 — 지금이 가장 유리!
👉 https://t.co/S6rRweBLU5

#VeryChat #베리챗 #토큰포스트

*This event is available to South Korea residents only

[Very Network @verylabs]

📢 Follow VeryChat's official channels & earn 100 VERY! 🎉

🗓 June 1 – June 30 (UTC)

1️⃣ Follow us on X → 50 VERY
2️⃣ Subscribe on Telegram → 50 VERY

✅ Rewards paid in-app, all at once after the event ends.
⚠️ Must stay followed/subscribed until June 30 to qualify.

👉 Join via the banner in the VeryChat app!

#VeryChat

[Oraclizer @Oraclizer]

The only

[Oraclizer @Oraclizer]

Property 1 complete.
Property 2 complete.
Next: Property 3.

Our Isabelle/HOL formal verification of safety and Byzantine-tolerant liveness is now public on arXiv. The next milestone is end-to-end formal assurance.

@CantonFdn @DanSpuller @digitalasset @HorizenLabs @YuvalRooz
@ShaulKfir @VitalikButerin

https://t.co/4Yg7l1CLxw

[Oraclizer @Oraclizer]

Proving D-quencer Liveness under Byzantine Faults: The Journey

All 5 remaining “sorry” in Property 2’s Isabelle/HOL liveness proof have now been eliminated in Priority_Resolution.thy.

The process also exposed and fixed 3 latent bugs, reinforcing a key lesson of formal verification: the hardest part is not always the math itself, but often the proof tooling, library details, and proof structure.

combined_safety_liveness and the full 4-file build are still ahead.

https://t.co/qiJZ7zMT2n

[Oraclizer @Oraclizer]

We did it.

Oraclizer's state synchronization theory has been formally proven and submitted to the Archive of Formal Proofs (AFP), the world's most prestigious archive of machine-checked mathematical proofs, maintained by TU München and University of Cambridge.
State synchronization is a first-of-its-kind concept in blockchain. With this proof, the theory is now mathematically guaranteed to work.

This means our core claim is no longer a promise. It is a mathematical fact: when a regulatory action happens on one chain, every connected chain is guaranteed to reflect the exact same state. Not in most cases. Not in tested cases. In every possible case. Verified by the Isabelle/HOL proof kernel, a machine that cannot be lobbied, bribed, or mistaken.
No other oracle project has done this. No cross-chain infrastructure has this level of assurance. We didn't just build it. We proved it.

The proof is universal. Any team building cross-chain infrastructure can import our framework and verify their own system against the same standard. We didn't just prove our protocol. We created the standard.
Proof files will be open-sourced on GitHub. Anyone can re-verify everything.

[Oraclizer @Oraclizer]

Oraclizer’s official GitHub repository is now live:
https://t.co/j8yjB7GRf9

FV Property 1 has been pushed — a formal proof of cross-domain state preservation (homomorphism).

This milestone mathematically guarantees the core thesis of state synchronization across domains.

– Detailed review & interpretation:
https://t.co/ES0is6rPqr

– Announcement of the successful proof:
https://t.co/ZaZcsufaWE

[Yuval Rooz @YuvalRooz]

Thank you for the post from the $CC community.

[Oraclizer @Oraclizer]

Oraclizer has published a 3-part research series on FV1:
Cross-Domain State Preservation.

We define what it means,
formalize it,
and prove it.

From concept → formal model → verification.

This is not just theory —
it’s the foundation for verifiable state synchronization.

1/ https://t.co/De3LxdzpYt
2/ https://t.co/dyTD6phyHI
3/ https://t.co/MGMFXiS3Mf

1/ What are we proving?
A state transition on one domain must be preserved identically across all linked domains.

2/ How do we formalize it?
We define regulatory states, actions, and a cross-domain preservation functor.

3/ What did we achieve?
Core property verification of cross-domain state preservation (FV1).

State Oracle is no longer a narrative — it's becoming provable.

@CantonFdn @Damldriven @DanSpuller @HorizenLabs @digitalasset @ShaulKfir @YuvalRooz @HorizenLabs @robviglione @ethereum @VitalikButerin

[Oraclizer @Oraclizer]

At the end of the day, there’s no alternative but us. 🤐

[Oraclizer @Oraclizer]

Whatever you imagine, we will become even more than that. 😉

[Oraclizer @Oraclizer]

Why We’re Starting Formal Verification: Applying Our Own Standard

https://t.co/6dBEMvVJyl

[Oraclizer @Oraclizer]

From Isabelle/HOL to Compliance-Aware Infrastructure: Why RWA Needs Provable Compliance

@CantonFdn
@Damldriven
@digitalasset

https://t.co/660aIw4sZY

[Dinger @himerdinger1987]

@wwwdddmonon 거짓일 가능성이 높음. 여러개 지갑중 하나에서 80%일 가능성이 높음. 전체에서 몇프로 되지도 않을거임.

[Oraclizer @Oraclizer]

.@HorizenLabs and @DanSpuller Join as EIP-RCP Co-Authors

https://t.co/TSwm6sMQZb

[Jonghun Hong @stationskir]

@VitalikButerin How about @Oraclizer ?

[Horizen Labs @HorizenLabs]

https://t.co/w32p3DvhgE

[Horizen @horizenglobal]

Privacy + compliance + auditable confidence = the ultimate combo.

RT if you agree.

[재성 #TABI NODE REFUND @goseongjae2]

I am a Captain Node holder. Tired of the Tabi team’s evasions, I demand a full, penalty-free refund for my Captain Node purchase and my public-sale participation.

Below are the reasons for this refund request.

1. Project uncertainty
Tabi began as an NFT marketplace. It has now become a payments project. This change did not occur abruptly — the project shifted from a game-related initiative and, after that trend waned, was converted into a payments project. The project’s direction is inconsistent and its future is not transparent. Therefore, I demand a full, penalty-free refund.

2. Purpose of the node purchase
Captain Node holders and public-sale participants bought in because Tabi was presented as a game-related project. When the project’s direction changes, affected users must be offered refunds and the option to withdraw before the team proceeds. We did not invest in a payments project. Therefore, I demand a full, penalty-free refund.

3. Indefinite postponement of TGE
When nodes and the public sale were offered, the team promised a TGE in Q4 2024. More than a year later, TGE remains uncertain; the team offers no substantive explanation and keeps replying only "soon, soon." More seriously, "TGE" has even been removed from the roadmap. Do not claim that unfavorable market conditions prevented the TGE — there was ample time to execute it. Therefore, I demand a full, penalty-free refund.

4. Founder and team incompetence and lack of foundation financial transparency
Next, I address the founder’s incompetence. The most recent AMA that included the founder (and moderators) was about five to six months ago. Even moderator-only AMAs have not been held for roughly three months. At present, the Tabi team appears to be using moderators as scapegoats while ignoring early (OG) users and expanding new business lines — yet those plans are themselves uncertain. The team appears to be prioritizing payment expansion in Southeast Asia and Africa. No disrespect intended, but GDP per capita in those regions can be three to twenty times lower than in Korea. As long-time users, we cannot understand how charging payment fees in those markets will generate sustainable revenue. If the team can explain this, the founder and core team must appear personally and provide answers in an AMA. Claims of shyness or introversion are no longer acceptable — appear and explain directly.

Furthermore, current community events mainly award SBTs and trivial USDT prizes (for example, ~15 USDT for first place — roughly the price of one fried chicken in Korea). SBTs hold no value prior to TGE, and these small USDT rewards lead long-time users to suspect the team is severely underfunded. Where were the funds invested that users provided one to two years ago? How much liquidity and reserves does the Tabi team/foundation actually hold? Provide transparent accounting — and until that transparency is provided, I demand a full, penalty-free refund.

(Especially at the recent KBW, when other projects distributed eco-bags and portable battery chargers, the Tabi team handed out masks — an observation that underscored the seriousness of the project’s apparent lack of resources.)

5. Final summary
The Korean Tabi community has continued to support and trust the project despite numerous suspicions — including the founder’s reported liquidation of approximately $3M during the Ethereum downturn (suspected to involve investor funds), allegations of NFT wash-trading/self-dealing, questions about the source of Tabi DEPOSIT funds, more than a year of TGE delay, and persistent lack of communication from the team and founder. That trust has been betrayed. We do not want SBTs or token airdrops. We want a full refund, nothing less.

I hereby demand an immediate, full, penalty-free refund.

@Tabichain , @Lfuckjpg, @Tabizens