Alloc Init

Cryptography R&D for Bitcoin

[Alloc Init @alloc_init_]

Bitcoin PIPEs v2: Covenants and ZKPs on the Bitcoin L1 via Witness Encryption

https://t.co/1YTIxaJ3Dv

[Alloc Init @alloc_init_]

Open challenges for AADP WE are happening!

A commutator-based attack breaking both AADP and the original ADP for sparse circuits was submitted. We are aware of the mitigation that fixes this class of attacks in characteristic 2 and are working on extending it to characteristic p.

Congratulations to the submitter, we will be in touch!

[Alloc Init @alloc_init_]

Today we announce: AADP WE Open Challenges.

Recently we proposed a new witness encryption scheme based on Arithmetic Affine Determinant Programs which we intend to use in Bitcoin PIPEs v2, unlocking a wide range of applications and eliminating the need for trusted parties.

Now we invite anyone to break small instances of our new scheme or to discover structural properties that were unknown before.

Details here:
https://t.co/IfK5x3G3cb

Special thanks to @zeroknowledgefm @zkproof @IACReurocrypt for organizing the conference week in Rome that we're announcing these at in person.

[Alloc Init @alloc_init_]

In case you missed it in Vegas, here is our full preso including slides from @TheBitcoinConf.

We discuss what PIPEs are all about and how witness encryption can be used to enforce arbitrary logic on Bitcoin.

This means: trustless vaults, covenants, and non-interactive ZKPs on Bitcoin without protocol changes or trusted parties.

Also, we discuss getting rid of multi-sigs using PIPEs.

https://t.co/WhCLDo992a

[Alloc Init @alloc_init_]

Today we announce: AADP WE Open Challenges.

Recently we proposed a new witness encryption scheme based on Arithmetic Affine Determinant Programs which we intend to use in Bitcoin PIPEs v2, unlocking a wide range of applications and eliminating the need for trusted parties.

Now we invite anyone to break small instances of our new scheme or to discover structural properties that were unknown before.

Details here:
https://t.co/IfK5x3G3cb

Special thanks to @zeroknowledgefm @zkproof @IACReurocrypt for organizing the conference week in Rome that we're announcing these at in person.

[Alloc Init @alloc_init_]

If you’re in Rome for @IACReurocrypt, come learn about Bitcoin PIPEs v2 and AADP Witness Encryption this Saturday, May 9!

Head of Cryptography Research, Handan Kilinc Alper (@HandanKAlper) from our team will present PIPEs v2 at CTB ’26 this Saturday.

4:50 pm | CTB 2026 (https://t.co/DekAHa2QhJ)
→ Sapienza University of Rome | Aula II (Classroom II). Enter via Scienze Statistiche Entrance of building CU002. University map: https://t.co/Iv6ON7BqgE

Come learn and ask questions. See you there!

[Alloc Init @alloc_init_]

We made it to Rome!

Find us at zkSummit14, ZKProof, and Eurocrypt from May 7-14 sharing our latest research on Witness Encryption and Bitcoin PIPEs.

Come say hi if you see us around; @nevernotrunout, @HandanKAlper, @michelabdalla, @levs57, @towa_patrick, @mschofnegger, and others are here for the conferences and our cryptography research team offsite.

And if you see Michel (@michelabdalla) please wish him a big congrats — he just received the RSAC Test of Time Award. We'll definitely be celebrating this!

[Alloc Init @alloc_init_]

We're incredibly thrilled to welcome Clara Shikhelman (@ClaraShik) to our team at [[alloc] init]!

Clara joins as Head of Protocol Research, where she'll lead our efforts to design novel Bitcoin protocols using PIPEs. Driven by a shared conviction that cryptography and PIPEs-based protocols will expand Bitcoin's capabilities, she is excited to introduce new possibilities for builders and deliver real value for users.

Previously Head of Research at @ChaincodeLabs, she led research across Bitcoin and the Lightning Network — including foundational work on jamming attack mitigations, quantum computing risks to Bitcoin, and bridging academic research with open source development. Her background includes a PhD in Mathematics from Tel Aviv University, underpinning a research approach that combines rigorous theory with practical systems design.

Her research and publications can be found at: https://t.co/AxrIt7bR6Q

Her work has been featured in @BitcoinMagazine, @PresidioBitcoin, @CoinDesk, and elsewhere.

Welcome, Clara — we're excited to build with you.

[Alloc Init @alloc_init_]

What might practical Witness Encryption actually look like? Come find out this Thursday at zkSummit14 in Rome.

At 11:00 AM, @levs57 from [[alloc] init] will present our latest research covering the first plausibly implementable WE scheme in his talk:

“Towards Practical Witness Encryption from Arithmetic Affine Determinant Programs”

[Zero Knowledge Podcast @zeroknowledgefm]

zkSummit14 is happening in Rome on May 7th!

Once again, we bring together the researchers, cryptographers, and builders in ZK for a day to catchup on the most cutting edge ideas in our space.

We are about to sell out, so apply & get your ticket asap!
https://t.co/1GBDTBMuoM

[Peter Todd @peterktodd]

Never underestimate moon math.

[Alloc Init @alloc_init_]

Today at @TheBitcoinConf | 4:00 pm
👉 Open Source Stage

Bitcoin must evolve, but governance paralysis persists.

That’s why we’re building Bitcoin PIPEs:
→ Covenants, ZKPs & privacy on L1
→ Cryptographic emulation of missing opcodes
→ No soft forks. No multisigs.

https://t.co/TCs4616VQo

Come learn and ask questions!

[Alloc Init @alloc_init_]

Come learn more about PIPEs this Wednesday at @TheBitcoinConf!

We'll present on the Open Source Stage at 4p 🫡

[Kyle Knight @buckethatbtc]

My first ever Bitdevs… thank you to @evento_so x @briimhd for the plug!

@tabconf is the right way to start the Bitcoin conference 🎯

Idk what a PIPE is but I will next time 🙃😩