Skip to content

Commit

Permalink
add solidity-verifier-for-accountable-light-client milestone2
Browse files Browse the repository at this point in the history
  • Loading branch information
wuminzhe committed Sep 28, 2023
2 parents 766c686 + 5809428 commit 7978b05
Show file tree
Hide file tree
Showing 3 changed files with 23 additions and 2 deletions.
Original file line number Diff line number Diff line change
Expand Up @@ -26,7 +26,7 @@ This milestone is to implement the solidity version of the two verifiers in [apk
| ------- | ------------------------- | ------------------------------------------------------------ | ------------------------------------------------------------ |
| **0a.** | License | Apache-2.0 | |
| **0b.** | Documentation | https://darwinia-network.github.io/apk-verifier/index.html | |
| **0c.** | Testing and Testing Guide | https://github.com/darwinia-network/apk-verifier/tree/aki-docker#run-test-in-docker | |
| **0c.** | Testing and Testing Guide | https://github.com/darwinia-network/apk-verifier#run-test-in-docker | |
| 1. | Libraries preparation | 1. The solidity friendly fiat-shamir transformation. [code](https://github.com/darwinia-network/apk-verifier/blob/main/src/common/transcript/Simple.sol)<br />2. Lagrange evaluation. [code](https://github.com/darwinia-network/apk-verifier/blob/main/src/common/poly/evaluations/Lagrange.sol) <br />3. KZG verification. [code](https://github.com/darwinia-network/apk-verifier/blob/6b8bfd37e2c4142bf08d8c98f61a1d3e0c3df57d/src/common/pcs/kzg/KZG.sol) | |
| 2. | Basic verifier | [code](https://github.com/darwinia-network/apk-verifier/blob/main/src/Basic.sol) | |
| 3. | Packed verifier | [code](https://github.com/darwinia-network/apk-verifier/blob/main/src/Packed.sol) | |
Expand Down
2 changes: 1 addition & 1 deletion evaluations/evaluation-template.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
# Evaluation

> Don't remove any of the mandatory parts presented in bold letters or as headlines!
> When evaluating the last milestone of a grant, check if the finished grant refers to an [RFP](https://github.com/w3f/Grants-Program/blob/master/rfps/README.md) and move the corresponding RFP to [Closed](https://github.com/w3f/Grants-Program/tree/master/docs/RFPs/Closed).
> When evaluating the last milestone of a grant, check if the finished grant refers to an [RFP](https://grants.web3.foundation/docs/rfps) and move the corresponding RFP to status `Closed`.
> Lines starting with `>`, such as this one, can be removed.
- **Status:** In Progress/Accepted/Rejected
Expand Down
21 changes: 21 additions & 0 deletions evaluations/orochi_1_takahser.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,21 @@
# Evaluation

- **Status:** In Progress
- **Application Document:** https://github.com/w3f/Grants-Program/blob/master/applications/orochi-network-orosign-part1.md
- **Milestone:** 1
- **Kusama Identity:** Address
- **Previously successfully merged evaluation:** All by takahser

| Number | Deliverable | Accepted | Link | Evaluation Notes |
| ------ | ----------- | -------- | ---- |----------------- |
| 0a. | License | <ul><li>[x] </li></ul> | [CC0 1.0](https://github.com/orochi-network/orochi-network.github.io/blob/b907b68bad61bab4df4f120f6c56bdd3ea8fddba/LICENSE) |
| 0b. | Research | <ul><li>[x] </li></ul> | [Threshold Signature chapter](https://github.com/orochi-network/orochi-network.github.io/blob/b907b68bad61bab4df4f120f6c56bdd3ea8fddba/src/threshold-ecdsa/chapter.md) | Research delivered for secp256k1, missing for ed25519 and sr25519 |
| 0c. | Research | <ul><li>[x] </li></ul> | [Threshold Signature chapter](https://github.com/orochi-network/orochi-network.github.io/blob/b907b68bad61bab4df4f120f6c56bdd3ea8fddba/src/threshold-ecdsa/chapter.md) | Public technical reports not provided |
| 1. | Research | <ul><li>[x] </li></ul> | [Threshold Signature chapter](https://github.com/orochi-network/orochi-network.github.io/blob/b907b68bad61bab4df4f120f6c56bdd3ea8fddba/src/threshold-ecdsa/chapter.md) | Research on secp256k1 threshold ECDSA provided |
| 2. | Research | <ul><li>[x] </li></ul> | [MPC Research for `secp256k1`](https://github.com/orochi-network/orochi-network.github.io/blob/b907b68bad61bab4df4f120f6c56bdd3ea8fddba/src/threshold-ecdsa/threshold-ecdsa-construction/introduction.md) | - |
| 3. | Research | <ul><li>[ ] </li></ul> | - | Sr25519 uses Schnorr, not ECDSA. Hence, the Canneti's Construction that relies on ECDSA doesn't seem suitable. |
| 4. | Research | <ul><li>[ ] </li></ul> | - | Ed25519 uses EdDSA, not ECDSA. Hence, the Canneti's Construction that relies on ECDSA doesn't seem suitable. |

## General Notes

-

0 comments on commit 7978b05

Please sign in to comment.