Skip to content
This repository was archived by the owner on Sep 10, 2025. It is now read-only.

Commit 77b6ca5

Browse files
niranniran
committed
Release v0.0.2
1 parent e65a4af commit 77b6ca5

5 files changed

Lines changed: 42 additions & 14 deletions

File tree

‎docs/pages/deployments.mdx‎

Lines changed: 13 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -12,12 +12,16 @@ title: Deployments
1212

1313
## BridgedKeyStore
1414

15-
| Network | Address |
16-
| ------- | ---------------- |
17-
| Base Sepolia | [0xa3c95c6fb0151b42C29754FEF66b38dd6Eaa2950](https://sepolia.basescan.org/address/0xa3c95c6fb0151b42c29754fef66b38dd6eaa2950) |
18-
| Optimism Sepolia | [0x6ECa30e3Be56Cf7FccF920a5Ee66B77940A5806F](https://sepolia-optimism.etherscan.io/address/0x6ECa30e3Be56Cf7FccF920a5Ee66B77940A5806F) |
19-
| Arbitrum Sepolia | --- |
20-
| Gnosis Chiado | --- |
21-
| Polygon Amoy | --- |
22-
| BSC Testnet | --- |
23-
| Avalanche Fuji | --- |
15+
| Network | Address | Sync Type |
16+
| ------- | ---------------- | --------- |
17+
| Base Sepolia | [0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2](https://sepolia.basescan.org/address/0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2#code) | Trustless |
18+
| Optimism Sepolia | [0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2](https://sepolia-optimism.etherscan.io/address/0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2#code) | Trustless |
19+
| Arbitrum Sepolia | [0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2](https://sepolia.arbiscan.io/address/0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2#code) | Oracle\* |
20+
| Gnosis Chiado | [0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2](https://gnosis-chiado.blockscout.com/address/0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2?tab=contract) | Oracle |
21+
| Polygon Amoy | [0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2](https://amoy.polygonscan.com/address/0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2#code) | Oracle |
22+
| BSC Testnet | [0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2](https://testnet.bscscan.com/address/0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2#code) | Oracle |
23+
| Avalanche Fuji | [0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2](https://testnet.snowtrace.io/address/0x610A7e97C6D2F1E09e6390F013BFCc39B8EE49e2/contract/43113/code) | Oracle |
24+
25+
:::note
26+
\* Since Arbitrum is a rollup, L1 blocks are part of its consensus, so trustless syncing is technically feasible. However, neither L1 block hashes nor L1 beacon block roots are currently exposed in a way that smart contracts can consume.
27+
:::

‎docs/pages/references.mdx‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -26,5 +26,6 @@ title: References
2626
* [Vortex: A List Polynomial Commitment and its Application to Arguments of Knowledge](https://eprint.iacr.org/2024/185), by Alexandre Belling, Azam Soleimanian, and Bogdan Ursu of Linea
2727
* [ZK Summit 11 videos](https://www.youtube.com/playlist?list=PLj80z0cJm8QFy2umHqu77a8dbZSqpSH54)
2828
* [Gnark on browsers using WASM](https://hackmd.io/@vocdoni/B1VPA99Z3), by Vocdoni Team
29+
* [Groth16 Verification Gas cost](https://hackmd.io/@nebra-one/ByoMB8Zf6), by Todd Norton
2930
* ERC 4337 Wallets
3031
* [ERC-4337 Simple Whitelist Alt-Mempool](https://hackmd.io/@dancoombs/BJYRz3h8n), by Dan Coombs

‎docs/pages/releases.mdx‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
---
2+
title: Releases
3+
---
4+
5+
# Releases
6+
7+
## Testnet Beta (v0.0.2)
8+
9+
*June 18, 2024*
10+
11+
The Testnet Beta (v0.0.2) release of Keyspace introduces [`keyspace-client`](https://github.com/base-org/keyspace-client/tree/v0.0.2), an example TypeScript client for Keyspace with an integrated smart wallet, and [`keyspace-recovery-service`](https://github.com/base-org/keyspace-recovery-service/tree/v0.0.2), an RPC service for generating SNARK proofs of the signatures users sign to change their keys. The supported chains have been expanded from Base Sepolia and Optimism Sepolia to include Arbitrum Sepolia, Gnosis Chiado, Polygon Amoy, BSC Testnet, and Avalanche Fuji.
12+
13+
## Testnet Alpha (v0.0.1)
14+
15+
*March 29, 2024*
16+
17+
Initial preview release of Keyspace, including a running Keyspace sequencer and [an example Go client](https://github.com/base-org/keyspace-example) for Keyspace's RPC calls.

‎docs/pages/roadmap.mdx‎

Lines changed: 7 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -37,17 +37,19 @@ Currently, `Account` circuits are only designed to manage the key configuration
3737

3838
### Optimize Recursive Circuits
3939

40-
It currently costs 330,000 gas to verify a single key recovery proof vs the ~80,000 gas cost of just writing keys directly to L1. The proofs can batch multiple recoveries, and we expect that more recoveries in a single would have a sublinear increase to the gas cost. But in practice, we don't expect to be able to batch many recoveries soon: there seem to be ~100 recoveries per day for Safe wallets on mainnet after five years of adoption.
40+
Recovery proofs currently take five to ten minutes to generate, but recent improvements in proving systems offer 30x-100x increases in speed.
4141

42-
We aim to make two optimizations to our circuits:
42+
We aim to explore two paths for optimizing our circuits:
4343

44-
1. Use gnark's AssertDifferentProofs to get us down to a single pairing at the end of the recurse circuit.
45-
2. Convert the inner proofs to use Vortex, plonky2, or STARK-in-SNARK.
44+
1. Convert the inner proofs to use Vortex, plonky2, plonky3, or STARK-in-SNARK.
45+
2. Use gnark's AssertDifferentProofs to get us down to a single pairing at the end of the recurse circuit.
4646

4747
### Aggregate Config Proofs via ERC 4337 Aggregators
4848

4949
Aggregators in ERC 4337 were designed to allow BLS signatures to be aggregated, which saves on data availability costs. We can repurpose this feature for aggregating Keyspace configuration proofs. A single SNARK can prove the current configuration for many wallets, which could help us get the per-transaction gas costs down from 365,000 ($0.11) to less than a cent. (BLS signature aggregation is also being explored as an L2-specific transaction type, and this may be another avenue for aggregating configuration proofs.)
5050

5151
### Make Keyspace an L3
5252

53-
It costs 330,000 gas for the sequencer to verify proofs on L1, which makes the expected cost per key change fairly high. It would be cheaper to settle on a [minimal L2](https://vitalik.eth.limo/general/2022/09/17/layer_3.html#rollups-and-validiums-have-a-confirmation-time-vs-fixed-cost-tradeoff.-layer-3s-can-help-fix-this.-but-what-else-can) designed just for ZK systems to aggregate their proofs and update their state on L1.
53+
It currently costs 330,000 gas to verify a single key recovery proof vs the ~80,000 gas cost of just writing keys directly to L1. The proofs can batch multiple recoveries, and we expect that more recoveries in a single would have a sublinear increase to the gas cost. But in practice, we don't expect to be able to batch many recoveries soon: there seem to be ~100 recoveries per day for Safe wallets on mainnet after five years of adoption.
54+
55+
It would be cheaper to settle on a [minimal L2](https://vitalik.eth.limo/general/2022/09/17/layer_3.html#rollups-and-validiums-have-a-confirmation-time-vs-fixed-cost-tradeoff.-layer-3s-can-help-fix-this.-but-what-else-can) designed just for ZK systems to aggregate their proofs and update their state on L1.

‎vocs.config.ts‎

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,10 @@ export default defineConfig({
1818
text: 'Deployments',
1919
link: '/deployments',
2020
},
21+
{
22+
text: 'Releases',
23+
link: '/releases',
24+
},
2125
{
2226
text: 'Architecture',
2327
link: '/architecture',

0 commit comments

Comments
 (0)