Pinned Loading
-
lightswap-circuits
lightswap-circuits Publicgroth16 circuits for verifying lightswap withdrawals
TypeScript
-
-
puzzle-supervillian-writeup.md
puzzle-supervillian-writeup.md 1# ZKHack IV - Supervillian Puzzle Writeup
23## Objective
4Suppose we have $n$ honest validators in a network, and each has their own public key and proof-of-key. This data is given in the file the puzzle reads from. For simplicity, we denote the $i$-th public key by $k_i$ and the $i$-th proof by $p_i$. We would like to create a `new_key` and `new_proof` such that:
5 -
-
-
svm-circuits
svm-circuits PublicHalo2 implementation of chips, gadgets and circuits for verifying Solana VM execution. Useful if solana ever becomes an ethereum rollup.
Rust 1
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.