Skip to content

Commit ef17073

Browse files
author
osrm
authored
1 parent f7d871f commit ef17073

File tree

1 file changed

+3
-4
lines changed

1 file changed

+3
-4
lines changed

README.md

Lines changed: 3 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -143,14 +143,13 @@ where `[example]` is one of the following
143143
* `uniswap`
144144
* Fetches the price of the UNI / WETH pair on Uniswap V3. By default, this does not generate a proof.
145145
* Running `RUST_LOG=info cargo run --bin [example] --release -- --prove` will generate a plonk proof. This requires
146-
significant computational resources, so we recommend using the [SP1 Prover network]
147-
(https://docs.succinct.xyz/generating-proofs/prover-network.html).
146+
significant computational resources, so we recommend using the [SP1 Prover network](https://docs.succinct.xyz/docs/generating-proofs/prover-network).
148147
* Outputs a file called [plonk-fixture.json](examples/uniswap/contracts/src/fixtures/plonk-fixture.json), which contains everything you need to verify the proof on chain.
149148
* To see an example of on-chain verification, take a look at the [contracts](./examples/uniswap/contracts/) directory.
150149
* `multiplexer`
151150
* Calls a contract that fetches the prices of many different collateral assets.
152151
* The source code of this contract is found [here](./examples/multiplexer/ZkOracleHelper.sol).
153-
* Due to the size of this program, it's recommended to use the [SP1 Prover network](https://docs.succinct.xyz/generating-proofs/prover-network.html) to generate proofs for this example.
152+
* Due to the size of this program, it's recommended to use the [SP1 Prover network](https://docs.succinct.xyz/docs/generating-proofs/prover-network) to generate proofs for this example.
154153
* `verify-quorum`
155154
* Calls a contract that verifies several ECDSA signatures on chain, and sums the stake for the addresses corresponding to valid signatures.
156155
* `example-deploy`
@@ -159,4 +158,4 @@ where `[example]` is one of the following
159158
## Acknowledgments
160159

161160
* [Unstable.Money](https://www.unstable.money/): Developed the smart contract featured in the `multiplexer` example.
162-
* [SP1](https://github.com/succinctlabs/sp1): A fast, feature-complete zkVM for developers that can prove the execution of arbitrary Rust (or any LLVM-compiled) program.
161+
* [SP1](https://github.com/succinctlabs/sp1): A fast, feature-complete zkVM for developers that can prove the execution of arbitrary Rust (or any LLVM-compiled) program.

0 commit comments

Comments
 (0)