sigma-proofs 0.3.1

A toolkit for auto-generated implementations of Σ-protocols
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30

name: Verify Test Vectors

on:
  push:
    paths:
      - 'tests/spec/testdata/sigma-proofs_*.json'
  pull_request:
    paths:
      - 'tests/spec/testdata/sigma-proofs_*.json'
  workflow_dispatch:
  schedule:
    - cron: '0 0 * * 0'

jobs:
  verify-checksums:
    runs-on: ubuntu-latest
    steps:
      - uses: actions/checkout@v6
      - run: |
          set -euo pipefail
          vector_dir="tests/spec/testdata"
          upstream_base="https://raw.githubusercontent.com/mmaker/draft-irtf-cfrg-sigma-protocols/main/poc/vectors"

          for vector in \
            sigma-proofs_Shake128_BLS12381.json \
            sigma-proofs_Shake128_P256.json
          do
            curl -sL "$upstream_base/$vector" -o "/tmp/$vector"
            [ "$(sha256sum "$vector_dir/$vector" | cut -d' ' -f1)" = "$(sha256sum "/tmp/$vector" | cut -d' ' -f1)" ] || exit 1
          done