Experimental browser for the Atmosphere
Loading post...
{ "uri": "at://did:plc:ec5qq7slvmoehjx3f7ddexuf/app.bsky.feed.like/3lo4jsduhfl2i", "cid": "bafyreihjkq6izgsslj2zywjdryrn2muekbpimneike3x2mj6opxfu36dj4", "value": { "$type": "app.bsky.feed.like", "subject": { "cid": "bafyreih3q7n5izvcuxvuak3prt24fmlnccthap6h5lpspvf23e7o464o3u", "uri": "at://did:plc:bt65mginammrornzbxbewhyl/app.bsky.feed.post/3lo3tvx74jc2j" }, "createdAt": "2025-05-01T14:35:05.711Z" } }
FHE + ZKPs is the dream combo as you want to be sure that the outsourced computation was carried out correctly. This new paper looks into new ZKP constructions to prove that a RLWE-based FHE computation (i.e. BGV / CKKS) was done correctly: eprint.iacr.org/2025/770
May 1, 2025, 8:03 AM