Record · perry.kundert.ca
The Alberta Buck - Formal Correctness Proofs (v1.0)
perry.kundert.ca · 22 April 2026 · 70 min read
A post on perry.kundert.ca, published 22 April 2026, has not been cited by any blog yet (corpus.blog, measured 12 October 2026).
A record is what was published and who pointed at it. The text of the post is not shown here: read it at the source, or at its Wayback capture.
0blogs citing
| Period | Blogs | Links |
|---|---|---|
| All time | 0 | 0 |
| Last 90 days | 0 | 0 |
| Last 30 days | 0 | 0 |
| Last 7 days | 0 | 0 |
| Words blogs link it with | 0 |
|---|---|
| External links | 3 |
| Length | 16,055 |
Cited by
No blog we hold has cited this post yet.
Links from this post
Link
Host
https://www.linkedin.com/shareArticle?mini=true&url=https://perry.kundert.ca/range/finance/alberta-buck-proofs/&title=The%20Alberta%20Buck%20-%20Formal%20Correctness%20Proofs%20%28v1.0%29 Who cites this page
linkedin.com
Elsewhere on perry.kundert.ca (6)
perry.kundert.ca
perry.kundert.ca
Similar posts
L1 Nullifier Sets: Consensus-Layer Double-Spend Prevention in a UTXO-Based Privacy Chain
blog.skill-issue.dev
28 Apr 2026
Vega: Zero-knowledge proofs for digital identity in the age of AI
Microsoft Research
21 May 2026
The Double-Spend Problem in Identity
jthor.eth.link
2 Oct 2026
UPEE: composing SPST + PPST + TAB into one framework
blog.skill-issue.dev
14 Mar 2026
Between Rocq & A Hard Case
clef-lang.com
26 Jun 2026
29 Jun 2026
Bayer-Groth verifiable shuffles for network-layer privacy
blog.skill-issue.dev
5 Mar 2026
Universal composability (UC)
alinush.github.io
13 Sept 2026
ONCHAINID Audit
openzeppelin.com
29 Sept 2026
3 Sept 2026
Something wrong here? Report a problem