Bulletproofs – Short zero-knowledge arguments of knowledge

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by dbranes on Thursday July 12, 2018 @01:18AM (#17512338)

Tangent: I like that the logo for the organization 'adjoint' resembles the notation for adjoint functors.

[ Parent | on HN ]

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by darkkindness on Thursday July 12, 2018 @02:23AM (#17512577)

Likewise! Looks like it was intentional:

> Our name comes from advanced mathematics and represents the numerous ways in which we simplify financial processes and products using blockchain technology.

(https://www.adjoint.io/about/adjoint)

[ Parent | on HN ]

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by dbranes on Thursday July 12, 2018 @09:19AM (#17514127)

Ugh, I'm cringing a little that they consider adjunctions 'advanced mathematics'. Adjunctions are ubiquitous even in elementary math. For example, in linear algebra whenever one writes down a matrix to represent a operator in some basis, this is using the tensor-hom adjunctions for modules.

[ Parent | on HN ]

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by tobbe2064 on Thursday July 12, 2018 @07:15AM (#17513498)

Just out of curiosity, do you actually use adjunctions? If so I would be really happy to know more about it.

[ Parent | on HN ]

Re:Bulletproofs – Short zero-knowledge arguments of knowledge by dtseng123 on Thursday July 12, 2018 @05:00AM (#17513113)

It was very intentional.

[ Parent | on HN ]