I hate when investors ask me which verticals are relevant for zkTLS, it’s ignorant of what zkTLS enables.

Counter question verticals are relevant for https? I really doubt you could’ve accurately predicted the answer back in the 80s/90s

https://warpcast.com/erfannnnnn/0xc6eddff1

"Wtf, we already scrapped TEEs in 2019, how can people forget" - common complaint floating around now

Isn't accurate. Current discourse isn't "forgetting" and pushing the same approach again. 

The landscape has completely changed since 2019:
- [1] Alternative risks to not deploying enclaves have increased. Eg: risk of casino winning
- [2] Complementary technologies that patch up enclave shortcomings have been productionized. Eg: zkVMs
- [3] Clearer now that exotic forms of cryptography won't get the job done anytime soon. Eg: attribute-based encryption
- [4] New virtualization-based enclave designs available. Eg: TDX

This is technology. Trying old ideas again under new conditions is the backbone of our innovation cycle.

If "we've tried that already" was our industry's motto, we wouldn't have Tesla, Oculus, or even Bitcoin.

python and rust inspired DSL for Halo2

https://github.com/privacy-scaling-explorations/chiquito

Why I'm excited about investing in crypto infra 🧵

Crypto and trust-minimizing technologies will transform foundational infrastructures across industries. As an ex-academic and now investor, I strive to find, fund, and partner with 0-to-1 innovators and 10x disruptors.

At @1kxnetwork, our thesis is that crypto will disrupt sectors with high costs of trust.

We believe that new digital infrastructures will be built to be resilient & trust-minimized, while being interoperable, scalable, and user-empowering.

Unfortunately, crypto infrastructure today is simply not yet robust, scalable, interoperable or private enough for billion-user super apps to fully operate on top of.

We don't need more infra.
We need better infra.
We need 0-to-1 innovators and 10x disruptors.

If you are working on something that fits that description--whether it's rigorous academic research, novel application of existing tech, or even moonshot ideas that simply compel you--please don't hesitate to reach out. DM's open.

Exploring circle STARKs

https://vitalik.eth.limo/general/2024/07/23/circlestarks.html

Thank you to @StarkwareLtd friends for the kind support in understanding these concepts!

See also my implementation at https://github.com/ethereum/research/tree/master/circlestark

https://warpcast.com/vitalik.eth/0xfa152627

great 2 part series on binius by lambda class

great 2 part series on binius by lambda class

https://blog.lambdaclass.com/snarks-on-binary-fields-binius/

https://blog.lambdaclass.com/binius-part-2/

rust fixes this

https://x.com/evisdrenova/status/1814355536152015094?s=46

new zkPassport use case just dropped 


https://x.com/michaelelliot/status/1813875222174630038?s=46

Blockchains don't need to be transparent, they only need to be accountable!

Transparency => accountability + absence of privacy

Accountability is main property we want, not the absence of privacy.

Example: a zk validium can be accountable but not fully transparent.

Software engineer. I explain crypto topics in simple terms.

Maybe EIP-2537? I hear a couple of ZK applications might need the new BLS12-381 verification precompile for cryptographic operations. EIP-7549 (https://eips.ethereum.org/EIPS/eip-7549) also makes ZK light client bridges more efficient by reducing the overhead of verifying Casper FFG consensus.

a bit dated, but a nice example of using Halo2 to prove hamming distance calculation

a bit dated, but a nice example of using Halo2 to prove hamming distance calculation

https://medium.com/@yujiangtham/building-a-zero-knowledge-web-app-with-halo-2-and-wasm-part-1-80858c8d16ee

Ariel's comments on why zcash fell behind

Ariel's comments on why zcash fell behind

https://x.com/rel_zeta_tech/status/1738184223607960013?s=46

you may not like it but this is what post scarcity world looks like

Friends who have experience with Ed25519.

There are 2 popular crates - one from dalek [1] and one from the zcash folks [2]. What is the recommended best practice? I'm assuming the zcash variant is the one to go with.

[1] https://docs.rs/ed25519-dalek/latest/ed25519_dalek/#
[2] https://crates.io/crates/ed25519-consensus

https://warpcast.com/shriphani/0xd285b21b

great explanation of FRI protocol by the Risc Zero team

great explanation of FRI protocol by the Risc Zero team

https://www.youtube.com/watch?v=wqRuoyH3Mqk

Blockchains should probably hand over the "wallet" UX metaphor to zk things like Zupass. Fits that more naturally. And blockchain interactions are already straining the wallet metaphor hard. Unless zk-offchain + onchain can be converged in some beautiful new paradigm, where zk stuff is the "cookies" of web3.

Justin Thaler is a SNARK maxi fr

https://www.youtube.com/watch?v=5RrSs8FswBo

proving provenance of a photo

https://x.com/TrishaCDatta/status/1810689631446618464

@tableland | @openfarcaster | avichalp.me