🧠 Logic: 🔑 implement `verify_signature`#462

Merged

ccamel merged 31 commits intomainfrom feat/crypto-verify

Oct 27, 2023

+990-49

Commits on Oct 27, 2023

feat(logic): implement crypto signature verification

bdeneux
authored and
ccamel
committed
feat(logic): reigster eddsa_verify/4 predicate

bdeneux
authored and
ccamel
committed
test(logic): add test for ecdsa_verify/4 predicate

bdeneux
authored and
ccamel
committed
feat(logic): manage ecda secp256k1 key for secp_verify/4

bdeneux
authored and
ccamel
committed
feat(logic): handle encoding option

bdeneux
authored and
ccamel
committed
test(logic): add test for get options config func

bdeneux
authored and
ccamel
committed
refactor(logic): rename secp_verify to ecdsa_verify

bdeneux
authored and
ccamel
committed
docs(logic): add comments on predicate verify signature

bdeneux
authored and
ccamel
committed
refactor(logic): avoid duplicate code

bdeneux
authored and
ccamel
committed
test(logic): add tests for TermToBytes

bdeneux
authored and
ccamel
committed
refactor(logic): improve GetOption utility function
ccamel
committed
feat(prolog): add default value support to GetOption func
ccamel
committed
refactor(logic): improve TermToBytes function
ccamel
committed
refactor(logic): refactor ResolveToAtom function
ccamel
committed
chore(util): add slice.Map util function
ccamel
committed
refactor(logic): redefine xVerify predicates with options
ccamel
committed
refactor(logic): move crypto functions into util package
ccamel
committed
chore(deps): add github.com/dustinxie/ecc dependency
ccamel
committed
feat(logic): add Secp256k1 support for ECDSAVerify predicate
ccamel
committed
refactor(logic): move encoding atoms to util file
ccamel
committed
refactor(logic): use 33-bytes compressed elliptic curve for PK
ccamel
committed
feat(logic): add Secp256k1 support
ccamel
committed
test(logic): add tests for Secp256k1
ccamel
committed
docs(logic): improve description of xVerify predicates
ccamel
committed
refactor(DIDComponents)!: restrict type-checking for expected atom components
ccamel
committed
test(logic): add more test cases for DIDComponents predicate
ccamel
committed
style(logic): make linter happier with GetOption code
ccamel
committed
style(util): improve VerifySignature function code style
ccamel
committed
refactor(logic): include public key in error msg for parsing failures
ccamel
committed
docs(logic): improve documentation of xVerify predicates
ccamel
committed
docs(logic): re-generate documentation of predicates
ccamel
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

🧠 Logic: 🔑 implement `verify_signature`#462

Commits on Oct 27, 2023

feat(logic): implement crypto signature verification

feat(logic): reigster eddsa_verify/4 predicate

test(logic): add test for ecdsa_verify/4 predicate

feat(logic): manage ecda secp256k1 key for secp_verify/4

feat(logic): handle encoding option

test(logic): add test for get options config func

refactor(logic): rename secp_verify to ecdsa_verify

docs(logic): add comments on predicate verify signature

refactor(logic): avoid duplicate code

test(logic): add tests for TermToBytes

refactor(logic): improve GetOption utility function

feat(prolog): add default value support to GetOption func

refactor(logic): improve TermToBytes function

refactor(logic): refactor ResolveToAtom function

chore(util): add slice.Map util function

refactor(logic): redefine xVerify predicates with options

refactor(logic): move crypto functions into util package

chore(deps): add github.com/dustinxie/ecc dependency

feat(logic): add Secp256k1 support for ECDSAVerify predicate

refactor(logic): move encoding atoms to util file

refactor(logic): use 33-bytes compressed elliptic curve for PK

feat(logic): add Secp256k1 support

test(logic): add tests for Secp256k1

docs(logic): improve description of xVerify predicates

refactor(DIDComponents)!: restrict type-checking for expected atom components

test(logic): add more test cases for DIDComponents predicate

style(logic): make linter happier with GetOption code

style(util): improve VerifySignature function code style

refactor(logic): include public key in error msg for parsing failures

docs(logic): improve documentation of xVerify predicates

docs(logic): re-generate documentation of predicates