Ecosyste.ms: OpenCollective
An open API service for software projects hosted on Open Collective.
github.com/katzenpost/CryptWalker
Lean cryptography library for prototyping/modeling protocols and proving protocol properties.
https://github.com/katzenpost/CryptWalker
update readme
david415 opened this pull request 5 months ago
david415 opened this pull request 5 months ago
prove p is prime for various prime order fields, useful for ECDH and EDDSA
david415 opened this issue 5 months ago
david415 opened this issue 5 months ago