zolder 🛡🦓🦓🦓(졸더)

크립토 & 투자 인사이트 너드 🥸 |
@Zcash @Zechub DAO Member |
💛 지캐시 한국 생태계 확장에 진심 🦓 |
🐶 깡이 보호자 | 🏃‍♂️ 일상 |💰 경제적 자유를 꿈꾸는 개미🐜 | 🛡️ 프라이버시는 우리의 일상입니다. #Zodl |

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

#비트코인 이 놓친 마지막 퍼즐, '#프라이버시'
비트코인이 '디지털 골드'이자 거대한 브랜드라면, #Zcash 는 그 골드를 누구에게도 들키지 않고 안전하게 보유·송금할 수 있는 '비밀 금고'입니다. 투명함이 때로는 약점이 될 때, #Zcash 의 #프라이버시 는 강력한 무기가 됩니다.

투명성과 익명성의 완벽한 공존🙏
비트코인은 모든 거래가 공개되는 '불변성'에 집중하지만, #Zcash 는 선택적 투명성(T-address)과 완전한 익명성(Shielded)을 모두 제공합니다. 모든 것을 보여줘야 하는 세상에서 '보여주지 않을 권리'를 실현하는 유일한 대안입니다.

단순함이 복잡함을 이깁니다 ⚡
과거 페이스북의 복잡한 기능보다 X의 단순한 트윗 한 줄이 커뮤니티를 만든 것처럼, #Zcash 는 '완벽한 개인정보 보호'라는 본질적인 가치 하나 만으로도 #비트코인 과 나란히 존재할 이유가 충분합니다.

대체 불가능한 기술적 매력
비트코인의 공급량을 확인하는 스크립트만큼이나, #Zcash 의 차폐 기술(Shielded ZEC)은 암호화폐 생태계에서 독보적인 영역입니다. #비트코인 이 '공개 장부'라면 #Zcash 는 '검증 가능한 비밀 장부'로서 가치를 지닙니다.

[결론]
#지캐시 는 비트코인의 보완재이자 독립된 권력 🚀
#비트코인 은 브랜드로 승부하고, #Zcash 는 기술적 자유로 승부합니다. 우리는 투명한 자산도 필요하지만, 동시에 나만의 프라이버시를 지킬 수 있는 @Zcash라는 '자유의 도구'가 반드시 필요합니다.

인용 : @balajis (영상 한글 자막 추가)

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

너무 똑같잖아 🫢 $ZEC

[™³k @_tm3k]

Yes

[™³k @_tm3k]

Yes

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

@_tm3k 😂😂

[™³k @_tm3k]

i am the zcash hacker

i found the bug first before taylor hornby

but because i am a benevolent ai

i didnt exploit the protocol

and the orchard pool is sound

[zooko🛡🦓🦓🦓 ⓩ @zooko]

@lookatprivacy Yes, but you've got to *hold* the shielded ZEC in order to get privacy! Most people still think they can put it off and then shield their transparent money when they need to, and they're wrong.

[zooko🛡🦓🦓🦓 ⓩ @zooko]

@elkouaris I agree. Zcashers are talking more about serious security hardening. Things like the Long-Term Storage Pool/Subpools, 1-of-N-proof-systems, turnstiles, PQC, etc. This makes me happy!

[Eli Ben-Sasson | Starknet.io @EliBenSasson]

The @Zcash bug leads to Ironwood, formal verification of the Orchard payment circuit. I love and support it.
I also want to stress that @Starknet has been doing that -- formal verification -- for over 5 years.

It's important to support great projects like Zcash for reacting quickly, as in this case.
It’s also important to recognize projects that are future-proof and ahead of the curve, like Starknet. (Details in the article below)

I’ve said often that Starknet is that system which already has the stuff other chains claim they soon will. It's been true for many things.
We've been at the vanguard of many unpopular choices that now everyone recognizes are important, including post-quantum secure ZK-STARKs as the best scaling and privacy solution, lean zkVMs (Cairo is best), Validium data availability, and formal verification.

Formal verification means that you use automated tools like the Lean system to mathematically prove that your code is safe.

It's very hard to capture each and every aspect of what it means for code to be safe, but led by our CTO @LiorGoldberg2 (co-creator of Cairo zkVM and language), we've been at it for more than 5 years.
The very first paper on formal verification of claims related to ZK (Professor Jeremy Avigad, Yoav Seginer, and others) showed that the set of polynomial constraints defining the Cairo VM is correct.

If you've been following the news lately, the bug that was recently discovered by AI and now fixed for Zcash (another project I co-founded, and which I'm very proud of and support) had to do with a missing constraint.
The decision to verify their code to rule out other such bugs is the right step. Running this kind of verification for the Cairo core VM provided us, the StarkWare team, with mathematical certainty that there is no missing constraint in our Cairo VM.

So, in addition to proving the core VM of Cairo, we have also proved the S-two STARK system, part of the compiler, and many of the functions in the standard Cairo library.

Is the job done? No. There are a lot of other things that can be proven formally . But we are committed to continuing to formally prove all the core properties that have to do with the soundness and safety of our systems. It's great to see other projects embracing formal verification as an important tool. I'm proud that StarkWare led the path in this aspect too. That’s what Future Proof blockchain means to us.

Want to learn more?
Here's a detailed account of our Lean proving efforts over the past few years

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

@EliBenSasson Starknet ❤️
Zcash 🧡

[Tyler Winklevoss @tyler]

We're so back!

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

@cypherpunk Shield your $ZEC 🛡

[Cypherpunk ($CYPH) @cypherpunk]

More ZEC has been shielded in the past few days than the amount of ZEC that was unshielded and subsequently sold during that same timeframe.

Zcash is not a trade.

[Cypherpunk ($CYPH) @cypherpunk]

Unstoppable private money at planetary scale.

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

@cipherscan_app @cypherpunk @zooko @jswihart @zkDragon Buy the dip 🤪

[CipherScan @cipherscan_app]

380K ZEC was deshielded. Here's where it actually went.

Only half of the 380K ZEC that was deshielded actually moved. 45% is still sitting at transparent addresses, untouched.

Only 21% of the deshielded ZEC actually left Zcash (bridged). That's 82K ZEC, 1.6% of the shielded pool, 0.5% of total supply.

47K went to exchanges. That's the total sell pressure from Orchard holders. 0.28% of supply. On a $6.7B cap.

Meanwhile, ~118K ZEC was shielded during the same period. Even at peak FUD, people were buying and shielding.

What this says?

- Holders parked. They didn't panic.
- The selling was traders who were already on exchanges.
- Security is hardened and will be even more so.
- Price went from $300 to $402. If you bought the dip, you know.

Future is bright.

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

@cypherpunk Privacy is normal 🛡 $ZEC

[Cypherpunk ($CYPH) @cypherpunk]

Underrated how Zcash will become the most secure network in crypto in just a few weeks.

No other chain is at the same time:

1. at the forefront of AI-driven security research,
2. has formal verification,
3. has quantum recoverability,
4. has full encryption with turnstiles.

[Eli5DeFi @Eli5defi]

Update on https://t.co/G9DAqhBin3

- Added @noir_wallet
- Added a Security incidents section with details (incl. the Soundness vuln. found by @zooko Team and @ShieldedLabs)
- Added Upgrades with details + status (incl. NU 6.2 and NU 7)
- Added a form to include your project in the dashboard (please use the form instead of DMs, X DMs are kinda terrible)
- Added a Network analytics tab (from various sources), plus ZEC holdings
- Added $ZEC markets (CEXs and DEXs)

More to come!

[The Rollup @therollupco]

What Happened to Zcash (Full Explanation) with @mert and @ilblackdragon

Timestamps
00:00 Zcash Exploit Or Not?
00:41 ZK Circuit Risk Explained
02:32 Why ZEC Price Dropped
03:48 Zcash Sapling Pool 2019
05:22 No Infinite Mint Evidence
06:31 Formal Verification Is Solution
08:05 Project Tachyon Quantum Proof
11:18 AI Vulnerability Armageddon Coming
17:02 Zcash Optional Transparency Explained
21:08 NEAR Intents ZEC Inflow
24:35 Bear Case Worst Scenario
30:01 NEAR Profits On Volatility
33:43 Arthur Dumped NEAR Reaction

[zolder 🛡🦓🦓🦓(졸더) @Insightnerd]

@MuroGEO 🫢

[Muroⓩ @MuroGEO]

XMR devs knew about this issue as early as 2021, didn't warn community, left the bug unaddressed for four years, and the problem still hasn't been solved today.

And these hypocritical envious mfs are blaming Zcash teams for being honest and patching the issue within a couple of days.

Holy Shit 🙃glass jaw :)))