corpus.blog
Most cited
Talked about
Blogs
41554 blogs · [ { "id": "01a0d51d-5a73-70ed-a566-e57ff8489267", "title": "On software carpentry", "url": "https://alinush.github.io//fv", "published_at": "2026-09-17T00:00:00+00:00" }, { "id": "01a0d51d-5a73-70ed-a566-e57ff92c10cb", "title": "Universal composability (UC)", "url": "https://alinush.github.io//uc", "published_at": "2026-09-13T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed827747a31", "title": "Confidentiality on Aptos vs. Arc vs. Canton", "url": "https://alinush.github.io//aptos-arc-canton", "published_at": "2026-08-18T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed82845a340", "title": "Formal verification in Lean", "url": "https://alinush.github.io//lean", "published_at": "2026-08-17T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed8291da655", "title": "Baby-step giant-step (BSGS) discrete log algorithms", "url": "https://alinush.github.io//bsgs", "published_at": "2026-05-31T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed829212a48", "title": "Benchmarking MSMs over secp256k1", "url": "https://alinush.github.io//secp256k1-msm", "published_at": "2026-05-01T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed829d53998", "title": "Notes on NEAR’s MPC", "url": "https://alinush.github.io//near", "published_at": "2026-05-01T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed82a778704", "title": "Groth21 PVSS", "url": "https://alinush.github.io//groth21", "published_at": "2026-04-15T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed82afcd1f9", "title": "Aptos Move", "url": "https://alinush.github.io//move", "published_at": "2026-04-14T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed82b0ad948", "title": "TIL: Malleable algebraic NIZKs", "url": "https://alinush.github.io//malleable-nizk", "published_at": "2026-04-05T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed82bcbf0de", "title": "Witness encryption (WE)", "url": "https://alinush.github.io//we", "published_at": "2026-04-04T00:00:00+00:00" }, { "id": "01a08725-4db7-73b6-8242-aed82c49ed08", "title": "Quantum computing", "url": "https://alinush.github.io//quantum", "published_at": "2026-04-03T00:00:00+00:00" } ] posts
Claim your blog
Back to alinush.github.io
Blog · corpus.blog/blogs/alinush.github.io/posts
alinush.github.io
alinush.github.io
2026
On software carpentry
original ↗
17 Sept 2026
Universal composability (UC)
original ↗
13 Sept 2026
Confidentiality on Aptos vs. Arc vs. Canton
original ↗
18 Aug 2026
Formal verification in Lean
original ↗
17 Aug 2026
Baby-step giant-step (BSGS) discrete log algorithms
original ↗
31 May 2026
Benchmarking MSMs over secp256k1
original ↗
1 May 2026
Notes on NEAR’s MPC
original ↗
1 May 2026
Groth21 PVSS
original ↗
15 Apr 2026
Aptos Move
original ↗
14 Apr 2026
TIL: Malleable algebraic NIZKs
original ↗
5 Apr 2026
Witness encryption (WE)
original ↗
4 Apr 2026
Quantum computing
original ↗
3 Apr 2026