Re: Introduction: Glogos - logic layer 0 for truth and coordination

On 2026-01-14 11:45 am, Manh Thanh Le wrote:
> Glogos is offered as a contribution to this shared vision—providing the mathematical grounding needed for resilient digital trust.
>
> I welcome discussion on how this logic substrate can serve the broader goals of the Verifiable Credentials community.

Hi Manh,

I'm replying here to your comments about Glogos in the did:cel thread today, since I'm still unclear how it will be used relative to VCs and DIDs, including did:cel, and so it seems maybe Glogos is best addressed in its own thread.

In that other (did:cel) thread, you gave links to the Glogos use-cases you're working on, and I looked through several of these. I started with this link you gave for scientific peer review:

https://github.com/glogos-org/glogos/blob/main/examples/use-cases/peer-review.ts

I found this and other of your 22 use-cases very interesting, and clearly there is a careful structure at play in your system. It seems to be well thought out and implemented, at least in your examples.

However, I'm still unclear how what you've done relates to DIDs and VCs. I saw no evidence of either, at least on a scan of that science use-case.

Given that 'reputation' is of extreme importance in the peer-reviewer case that you're showing, wouldn't the ability to handle VCs (and DIDs) be of great importance in the interactions involved?

If you agree, I suggest the best way to involve the multiple more exert coding people (than me) on this list, in Glogos, would be to provide code showing that integration.

Or, perhaps, do some of your use-cases already show this integration? If so, which?

Or, perhaps, can Glogos completely replace the need for VCs and DIDs? 🙂In which case, you've definitely come to the right place, but getting past Kubler-Ross's five stages of grief may take the other members a few days. 😉

Steven Rowat