Spin ~ priv/acc

building Zk,FV
bullish $ZEC, $BTC, $Ethereum

[Spin ~ priv/acc @spinzketh]

Work hard. Dream big

[Spin ~ priv/acc @spinzketh]

honestly, learning about zk-snarks, pairings, and the miller loop is way more interesting than trading

[Spin ~ priv/acc @spinzketh]

Thanks for your contribution 🙏 @ebfull

[Sean Bowe @ebfull]

Once again, a bunch of improvements for Zcash's network health and, as a bonus, optimizations that make shielded wallets faster.

Excited to see which major mining pools switch to Zakura soon. Be on the lookout for 🌸 on @cipherscan_app!

[Spin ~ priv/acc @spinzketh]

@wr9ng_

[Spin ~ priv/acc @spinzketh]

solana fnd is actually just the board of directors of zcash

[chase @therealchaseeb]

I get a lot of comments on why I talk about zcash so much.

This account is my personal account, I just happen to work at solana foundation.

My posts are still 10/1 (solana/zcash)

Its no different than my historical posts about Bitcoin.

I've just shifted my mindset about what the future might be as it relates to privacy and quantum proof.

ZEC is the Asset, Solana is the infra, imo.

That's not to say I lost complete faith in Bitcoin, I just think ZCASH becomes more important in the world of the future.

[Tyler Winklevoss @tyler]

Zcash is the most exciting and undiscovered opportunity in crypto. It is encrypted bitcoin. It is pioneering privacy technology, quantum resistance, and AI-hardening. There is nothing out there even close to it and it's just beginning. Bookmark this tweet.

[Spin ~ priv/acc @spinzketh]

@ZecHub I have some slide about that, home i can contribute

[Spin ~ priv/acc @spinzketh]

@morellifit 🙇‍♂️

[Spin ~ priv/acc @spinzketh]

why some people become successful while other stay average

[Dhruv kumar @Dhruvkumar16797]

This guy literally explained why some people become successful while other stay average.

The reason is uncomfortable. Game Theory

Watch this:

[Spin ~ priv/acc @spinzketh]

@CQ_Elzz @Zcash @ZecHub @okiridonald wen groth16 +

[Spin ~ priv/acc @spinzketh]

@satofishi But Solana founder is CEO of Zcash @mert

[Jason McGee 🛡 @aquietinvestor]

Huge thanks to Dory, a true Zcash patriot, for donating 200 ZEC (roughly $235,000) to Shielded Labs.

After nearly a decade supporting Zcash as a holder, Dory is now supporting Shielded Labs as a donor. He believes Zcash can help protect freedom for future generations and that Shielded Labs can help protect ZEC. We've had the chance to get to know Dory in person, and his donation is a meaningful vote of confidence in our work.

We’re incredibly grateful for his generosity and support. Donations like this allow Shielded Labs to remain independent and focus on projects that advance the long-term security and sustainability of Zcash in support of our mission to build unstoppable private money.

If you'd like to support our work, donate to Shielded Labs here:

u1gu3vstkrfyc3je5399tm7ajr57sazukuj66ugf8sy62sq8ncc44utecla6fwv5uw6z59zg2dqkvk5vrahdtqd2qavdwxealyjc0gzh3j

[Spin ~ priv/acc @spinzketh]

ignore the short-term noise.

i’m focused on the real shit:

• evm
• zero knowledge
• formal verification

build. research. repeat.

[vitalik.eth @VitalikButerin]

One optimistic and still very-non-consensus belief I have about the far future of cryptography:

I think that there is a 33% chance that, for average real-world computation, there exist ways to implement all three of what I call the Egyptian God Protocols (SNARK, FHE, iO) with 1+ε factor overhead (meaning, for large enough instances, the added overhead of cryptographizing a computation becomes arbitrarily small compared to the base cost of doing the computation itself)

And a 60% chance that all three can be done with single-digit overhead (ie. <10x, measured in total cost of energy plus amortized compute)

I think there's a good chance we'll get one of these (probably SNARKs with single-digit overhead) by the end of this decade. After all, we're already there for specialized hash functions and for some LLM inference.

[Spin ~ priv/acc @spinzketh]

@ebfull @zkDragon awesome. that is proving time or proof generation time?

[Anthropic @AnthropicAI]

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.

Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.

Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.

We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.

You can read about the process on our Science Blog: https://t.co/ryYnDEAU6J

And see the complete proof on GitHub: https://t.co/wlYMXYnofz

[Spin ~ priv/acc @spinzketh]

@distractedm1nd Awesome

[Spin ~ priv/acc @spinzketh]

@ZecHub Nice topic!

[Spin ~ priv/acc @spinzketh]

@leonardoalt git push -f

broooo

[Spin ~ priv/acc @spinzketh]

@jimpo_potamus Congrat Jim

[molson 🧠⚙️ @Molson_Hart]

Vietnam will be a rich country.

I have been here long enough and known the people well enough.

It will 100% guaranteed be a rich country.

Zero doubt in my mind.