Full lesson
zk-coprocessor-bridge
ZK Coprocessor for Solana — a cross-chain bridge enabling private ZK computations on Aztec via Ethereum and Wormhole, with replay-safe finality.
What it does
From the project README:
[](LICENSE-MIT) [](LICENSE-APACHE) [](https://github.com/pqzk-labs/zk-coprocessor-bridge/actions/workflows/ci.yml) [](https://doi.org/10.5281/zenodo.17409586)
- Original
- pqzk-labs/zk-coprocessor-bridge
- SuperStack fork
- Blockchains/zk-coprocessor-bridge @
249172f - Stars
- 6
- Last push (original)
- 2026-07-20
- Languages
- TypeScript, Solidity, Rust, Noir
- Detected stack
- Anchorweb3.js
- Categories
- Gaming
- Licence
- Apache-2.0
Architecture
8 source files. By extension: .ts ×5, .sol ×2, .rs ×1.
| Top-level directory | Source files |
|---|---|
apps | 5 |
evm-contracts | 2 |
solana-program | 1 |
On-chain programs: solana-program/programs/zk-coprocessor-program
Dapp: devnet deploy pending
⏳ Devnet deploy pending — goes live when the devnet wallet is topped up. This fork's own dapp is not deployed yet, so there is no program address or transaction to show. It is queued in dapp-queue.txt; once devnet SOL is available it is deployed, exercised with real devnet transactions, and this section switches to the live dapp at /dapps/zk-coprocessor-bridge/. Until then, the lesson and step-by-step guide below are complete, and you can run it locally with the commands below.
Key code, explained
Excerpts chosen automatically where the code uses the most Solana concepts, pinned to the fork's commit.
solana-program/programs/zk-coprocessor-program/src/lib.rs L97–120 @ 249172f · Apache-2.0 · original /// Records a receipt from a PostedVAA. pub fn record_receipt_from_vaa( ctx: Context<RecordReceiptFromVaa>, emitter: [u8; 32], sequence: u64, ) -> Result<()> { require_keys_eq!( *ctx.accounts.posted_vaa.owner, ctx.accounts.wormhole_program.key(), ZkError::InvalidPostedVaaOwner ); let cfg = &ctx.accounts.cfg; require!(emitter == cfg.emitter, ZkError::EmitterAddressMismatch); let receipt = &mut ctx.accounts.receipt; receipt.emitter = emitter; receipt.sequence = sequence; receipt.vaa_account = ctx.accounts.posted_vaa.key(); receipt.posted_timestamp = Clock::get()?.unix_timestamp; receipt.bump = ctx.bumps.receipt; emit!(ReceiptRecorded {- Line 104
require_keys_eq!(: An explicit validation that aborts the instruction with an error. - Line 117
receipt.posted_timestamp = Clock::get()?.unix_timestamp;: Reads on-chain time from the Clock sysvar. - Line 118
receipt.bump = ctx.bumps.receipt;: Uses the bump seed, the extra byte that pushes the derived address off the ed25519 curve. - Line 120
emit!(ReceiptRecorded {: Emits an Anchor event that clients can parse from the logs.
How to run, build and test
These commands come from the repo's own manifests (package.json scripts, Anchor.toml, Cargo, go.mod, Makefile). Check the README for prerequisites and environment variables.
| Directory | Command | Runs |
|---|---|---|
apps | npm run dev | tsx src/cli.ts |
apps | npm run start | node dist/cli.js |
apps | npm run build | tsc -p tsconfig.json |
solana-program | anchor build | compile programs and generate IDLs |
solana-program | anchor test | local validator + test suite |
What you could build from it
- Fork the SuperStack copy and extend it within the Gaming gaps listed on the idea page.
- Learn the pattern first: Program Derived Addresses (PDAs)
- Learn the pattern first: Compressed NFTs and state compression
- Learn the pattern first: Building and sending transactions from a client