Skip to content

Update statuses of P25 CAPs to Final #1880

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
anupsdf merged 1 commit into from
Feb 18, 2026
+14 −14
Merged

Update statuses of P25 CAPs to Final #1880

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
6 changes: 3 additions & 3 deletions core/README.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -82,9 +82,9 @@
| [CAP-0068](cap-0068.md) | 23 | Host function for getting executable for `Address` | Dmytro Kozhevin | Final |
| [CAP-0069](cap-0069.md) | 23 | String/Bytes conversion host functions | Dmytro Kozhevin | Final |
| [CAP-0070](cap-0070.md) | 23 | Configurable SCP Timing Parameters | Garand Tyson | Final |
| [CAP-0074](cap-0074.md) | Host functions for BN254 | Siddharth Suresh | Awaiting Decision |
| [CAP-0075](cap-0075.md) | Cryptographic Primitives for Poseidon/Poseidon2 Hash Functions | Jay Geng | Awaiting Decision |
| [CAP-0076](cap-0076.md) | P23 State Archival bug remediation | Dmytro Kozhevin | Final |
| [CAP-0074](cap-0074.md) | 25 | Host functions for BN254 | Siddharth Suresh | Final |
| [CAP-0075](cap-0075.md) | 25 | Cryptographic Primitives for Poseidon/Poseidon2 Hash Functions | Jay Geng | Final |
Comment thread
anupsdf marked this conversation as resolved.
| [CAP-0076](cap-0076.md) | 24 | P23 State Archival bug remediation | Dmytro Kozhevin | Final |

### Draft Proposals
| Number | Title | Author | Status |
Expand Down
12 changes: 6 additions & 6 deletions core/cap-0074.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,10 +7,10 @@ Working Group:
Owner: Siddharth Suresh <@sisuresh>
Authors: Siddharth Suresh <@sisuresh>, Jay Geng <@jayz22>, Matteo Lisotto
Consulted: Jay Geng <@jayz22>, Anup Pani <@anupsdf>
Status: Awaiting Decision
Status: Final
Created: 2025-09-25
Discussion: https://github.com/orgs/stellar/discussions/1772
Protocol version: 24
Protocol version: 25
Comment thread
anupsdf marked this conversation as resolved.
```

## Simple Summary
Expand Down Expand Up @@ -51,7 +51,7 @@ Three new host functions are proposed for performing curve operations on BN254.
],
"return": "BytesObject",
"docs": "Adds two BN254 G1 points given in bytes format and returns the resulting G1 point in bytes format. G1 serialization format: `concat(be_bytes(X), be_bytes(Y))`. This function does NOT perform subgroup check on the inputs.",
"min_supported_protocol": 24
"min_supported_protocol": 25
},
{
"export": "n",
Expand All @@ -68,7 +68,7 @@ Three new host functions are proposed for performing curve operations on BN254.
],
"return": "BytesObject",
"docs": "Multiplies a BN254 G1 point by a scalar (Fr), and returns the resulting G1 point in bytes format.",
"min_supported_protocol": 24
"min_supported_protocol": 25
},
{
"export": "o",
Expand All @@ -85,7 +85,7 @@ Three new host functions are proposed for performing curve operations on BN254.
],
"return": "Bool",
"docs": "performs pairing operation on a vector of `G1` (`Vec<BytesObject>`) and a vector of `G2` points (`Vec<BytesObject>`) , return true if the result equals `1_fp12`",
"min_supported_protocol": 24
"min_supported_protocol": 25
}
```

Expand Down Expand Up @@ -212,7 +212,7 @@ If the point is on the G1 curve, then it also belongs to the G1 subgroup (https:
[arkworks](https://github.com/arkworks-rs/algebra/blob/c6f9284c17df00c50d954a5fe1c72dd4a5698103/curves/bn254/src/curves/g1.rs#L61) library always returns true for the subgroup check.

## Protocol Upgrade Transition
The proposed host functions will become available protocol 24, i.e. with `"min_supported_protocol": 24` in the interface definition. For `protocol_version <= 23`, attempting to import any of these function definitions in the WASM will lead to a linking error during Vm instantiation time.
The proposed host functions will become available protocol 25, i.e. with `"min_supported_protocol": 25` in the interface definition. For `protocol_version <= 24`, attempting to import any of these function definitions in the WASM will lead to a linking error during Vm instantiation time.

### Backwards Incompatibilities
This CAP does not introduce any backward incompatibilities.
Expand Down
10 changes: 5 additions & 5 deletions core/cap-0075.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -7,10 +7,10 @@ Working Group:
Owner: Jay Geng <@jayz22>
Authors: Jay Geng <@jayz22>
Consulted: Antonio <@Fantoni0>, Yan <@ymcrcat>, Tomer Weller <@tomerweller>
Status: Awaiting Decision
Status: Final
Comment thread
anupsdf marked this conversation as resolved.
Created: 2025-10-08
Discussion: TBD
Protocol version: 24
Discussion: https://github.com/orgs/stellar/discussions/1780
Protocol version: 25
Comment thread
anupsdf marked this conversation as resolved.
```

## Simple Summary
Expand Down Expand Up @@ -59,7 +59,7 @@ Two new functions with export names `p` and `q` in the crypto module (`c`) are a
],
"return": "VecObject",
"docs": "Performs Poseidon permutation on input vector. input: vector of field elements (length t). field: 0=BLS12-381 Fr, 1=BN254 Fr. t: state size. d: S-box degree (5 for BLS12-381/BN254). rounds_f: number of full rounds (must be even). rounds_p: number of partial rounds. mds: t-by-t MDS matrix as Vec<Vec<Scalar>>. round_constants: (rounds_f+rounds_p)-by-t round constants matrix as Vec<Vec<Scalar>>. Returns output vector after permutation.",
"min_supported_protocol": 24
"min_supported_protocol": 25
},
{
"export": "q",
Expand All @@ -76,7 +76,7 @@ Two new functions with export names `p` and `q` in the crypto module (`c`) are a
],
"return": "VecObject",
"docs": "Performs Poseidon2 permutation on input vector. input: vector of field elements (length t). field: 0=BLS12-381 Fr, 1=BN254 Fr. t: state size. d: S-box degree (3, 5, 7, or 11). rounds_f: number of full rounds (must be even). rounds_p: number of partial rounds. mat_internal_diag_m_1: internal matrix diagonal minus 1 as Vec<Scalar> (length t). round_constants: (rounds_f+rounds_p)-by-t round constants matrix as Vec<Vec<Scalar>>. Returns output vector after permutation.",
"min_supported_protocol": 24
"min_supported_protocol": 25
}
```

Expand Down
Loading