cards shuffle and private distribution using zkSNARK
Build EVM-Native zkDapps
using only Solidity
Build ZK Applications with No Cryptography Experience
Using Poseidon ZK Contracts, any dApp developer building on Ethereum/Ethereum L2s/EVM chains can build zkDApps, dApps leveraging zkSNARKs for privacy, attestation, and scaling, with just a few lines of Solidity/Vyper/Any EVM Languages by calling Poseidon ZK Contracts as APIs. We also provide Poseidon SDK for Client side ZKP generation.
Sample Private Voting Application
contract ApeFest2023LocationVote {
mapping(Proposal => uint) public votes;
function anonymous_vote(
bytes32 rc, // re-randomized commitment
Proposal proposal, // chosen proposal
VoteProof proof, // zero-knowledge proofs for the vote
){
require(ZSP.owns(rc, proof.own), "invalid ownership proof");
require(CAD.is_nft(rc, 0xAPE, proof.nft), "invalid CAD proof");
require(ZKSignal.check(rc, proposal, AF23, proof.sig), "invalid signal");
votes[proposal]++;
}
}
zkShuffle
zkGroup
composable anonymous group membership
zkSignal
composable external nullifiers
CAD
soonconfigurable asset disclosure
zkAssets
soonERC-20/ERC-721/ERC-1155 assets sheided pool with solidity programmability
Poseidon
ZK Contracts
Inspired by the “Unix Philosophy”, we build the missing programming abstraction for building zkDApps in Ethereum:
Modular
modular ZK contract APIs that can be composed in Solidity (using CP-SNARK)
Secure
designed for simplicity and with extensive security audit and formal verification
DApp Ready
simply use Poseidon SDK for client side ZKP generation on client/metamask
Ecosystem Projects
Enabled by Poseidon
Poseidon Rollup
Poseidon Rollup scales ZKP transactions using STARK/SNARK aggregation, bringing a novel architecture for solving the on-chain ZKP scalability problem. It leverages hardware acceleration for efficient prover/verifier costs, heterogeneous proof aggregation, and the fastest prover speed at 40k gates/sec.
Roadmap
2022 |
2023 |
2024 |
|||||||
|---|---|---|---|---|---|---|---|---|---|
Mar. |
Oct. |
Nov. |
Q1 |
Q2 |
Q3 |
Q4 |
Q1 |
Q2 |
|
Poseidon ZK
|
zkSignal |
zkShuffle(zk-board game framework) |
zkAsset
CAD |
Metamask SNAP SDK |
|||||
Poseidon
|
Design |
Prototype |
Alpha-net |
Dev-net |
Mainnet- alpha |
Mainnet- beta |
Decentralized prover |
