Merge pull request #2 from hashcloak/proof_verify

BBS+ Signature and Proof Verification

.github/workflows/test.yml

@@ -0,0 +1,45 @@
+name: CI
+
+on:
+  push:
+  pull_request:
+  workflow_dispatch:
+
+env:
+  FOUNDRY_PROFILE: ci
+
+jobs:
+  check:
+    strategy:
+      fail-fast: true
+
+    name: Foundry project
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          submodules: recursive
+
+      - name: Install Foundry
+        uses: foundry-rs/foundry-toolchain@v1
+        with:
+          version: nightly
+
+      - name: Show Forge version
+        run: |
+          forge --version
+
+      - name: Run Forge fmt
+        run: |
+          forge fmt --check
+        id: fmt
+
+      - name: Run Forge build
+        run: |
+          forge build --sizes
+        id: build
+
+      - name: Run Forge tests
+        run: |
+          forge test -vvv
+        id: test

.gitignore

@@ -0,0 +1,14 @@
+# Compiler files
+cache/
+out/
+
+# Ignores development broadcast logs
+!/broadcast
+/broadcast/*/31337/
+/broadcast/**/dry-run/
+
+# Docs
+docs/
+
+# Dotenv file
+.env

.gitmodules

@@ -0,0 +1,3 @@
+[submodule "lib/forge-std"]
+	path = lib/forge-std
+	url = https://github.com/foundry-rs/forge-std

README.md

@@ -1,2 +1,8 @@
-# bbs_verifier
-BBS+ verifier contract
+# BBS+ Signature Verifier Smart Contract
+## Warning!
+This is a research project, and the smart contract may contain vulnerabilities. Please do not use it in production!
+## Overview
+This repo contains the solidity implementation of the BBS+ Signature Verification compatible with [this](https://github.com/hashcloak/bbs_sign) BBS+ signature implementation over BN254 pairing curve. Since the This implementation harcodes 32(fixed) randomly sampled points from the G1 subgroup, therefore it supports the verification of upto 32-1 = 31 messages.
+
+- To build: `forge build --via-ir`
+- Run test: `forge test --via-ir`

foundry.toml

@@ -0,0 +1,6 @@
+[profile.default]
+src = "src"
+out = "out"
+libs = ["lib"]
+
+# See more config options https://github.com/foundry-rs/foundry/blob/master/crates/config/README.md#all-options