# Proving UTXO set inclusion in zero-knowledge

**URL:** <https://delvingbitcoin.org/t/proving-utxo-set-inclusion-in-zero-knowledge/1142>\
**Category:** Implementation\
**Tags:** announcement, lightning\
**Created:** [September 16, 2024, 12:55pm UTC](https://delvingbitcoin.org/t/proving-utxo-set-inclusion-in-zero-knowledge/1142 "2024-09-16T12:55:40Z")\
**Posts on this page:** 1\
**Showing post:** 12

<div class="post-metadata">

**Author:** ![halseth](https://delvingbitcoin.org/user_avatar/delvingbitcoin.org/halseth/32/198_2.png) [@halseth](https://delvingbitcoin.org/u/halseth)\
**Post date:** [September 24, 2024, 8:01pm UTC](https://delvingbitcoin.org/t/proving-utxo-set-inclusion-in-zero-knowledge/1142/12 "2024-09-24T20:01:28Z")

</div>

> The structure is more flexible than that; indeed, I’ve just written a [blog post](https://reyify.com/blog/privacy-preserving-proof-of-taproot-assets) (code impl. and paper are linked in there), concretely illustrating how you can use the same techniques to not only prove statements about individual utxos with certain properties (age, size) but also, statements about aggregates over groups (so that one is “proof that N utxos have total sats value in range x to y”).

Very cool, did not know that was possible! 🤩

What are the limitations to what you can prove about the UTXO using aut-ct? (at the extreme, can you prove something like “I know a witness that let me execute the script to this utxo” ?)

---

_[View the full topic](https://delvingbitcoin.org/t/proving-utxo-set-inclusion-in-zero-knowledge/1142)._