Matthew Green on Nostr: Some neat results from the automated mathematical prover AlphaPtoof. I would love to ...
Published at
2024-11-19 12:03:59Event JSON
{
"id": "9c51375a768f3057884475ba26dba95503270c0c187aa5ad09926b40c8b2e78c",
"pubkey": "5c06f588380197da5dfbe2e32928b9b6d82c62dac0c602535a09ee1cad5a8221",
"created_at": 1732017839,
"kind": 1,
"tags": [
[
"proxy",
"https://ioc.exchange/users/matthew_d_green/statuses/113509521142652963",
"activitypub"
]
],
"content": "Some neat results from the automated mathematical prover AlphaPtoof. I would love to see this applied to cryptographic protocols. https://rishimehta.xyz/2024/11/17/alphaproofs-greatest-hits.html",
"sig": "48107844bd7182e42422fed97bc02a40cbae6d848320f15127304128471e6803bb51bd6eb620c069ce7cd7edf5da2a5febb5aad4a08216e819f4cb53124a31ff"
}
