# Basic vault prototype using OP\_CAT

**URL:** <https://delvingbitcoin.org/t/basic-vault-prototype-using-op-cat/576>\
**Category:** Protocol Design\
**Created:** [February 15, 2024, 10:13pm UTC](https://delvingbitcoin.org/t/basic-vault-prototype-using-op-cat/576 "2024-02-15T22:13:48Z")\
**Posts on this page:** 1\
**Showing post:** 17

<div class="post-metadata">

**Author:** ![dgpv](https://delvingbitcoin.org/user_avatar/delvingbitcoin.org/dgpv/32/75_2.png) [@dgpv](https://delvingbitcoin.org/u/dgpv)\
**Post date:** [April 19, 2024, 9:49pm UTC](https://delvingbitcoin.org/t/basic-vault-prototype-using-op-cat/576/17 "2024-04-19T21:49:44Z")

</div>

Here’s the details of my analysis using Alloy model checker: [Analysing simple vault covenant with Alloy](https://delvingbitcoin.org/t/analysing-simple-vault-covenant-with-alloy/819)

---

_[View the full topic](https://delvingbitcoin.org/t/basic-vault-prototype-using-op-cat/576)._