English
Go to website
Back
Articles on:
StarkWare - Scalability Engine
From what StarkEx is, to what Zero-Knowledge Proofs and ZK-STARKs are, find out more about DeversiFi's L2 solution - StarkEx.
DeversiFi: What is StarkEx?
What is StarkEx? DeversiFi is the first self-custodial exchange to launch with the StarkEx technology StarkEx leverages the STARK zero-knowledge proof technology to bring scalable non-custodial trading to cryptocurrency exchanges. There are a few properties to Zero-Knowledge Proofs, and STARKs in particular, that make them a powerful tool for blockchains. These properties are built into StarkEx: The inherent asymmetry between the prover’s and verifiers’ computational load
Some readers
DeversiFi: What is the Difference between ZK-Rollup and Optimistic Rollup?
What is the Difference between ZK-Rollup and Optimistic Rollup? ZK-Rollup and Optimistic Rollup are both Layer-2 scaling technologies that take transactions off-chain, compute the resulting state there, and submit a commitment to this new state back to the blockchain. The key difference between them is the type of proof each protocol relies on. Optimistic Rollup relies on fraud proofs: a new state is assumed to be valid, unless proof to the contrary (a proof of fraud) is submitted to the b
Some readers
DeversiFi: About StarkWare
About StarkWare StarkWare is the name of the company behind the DeversiFi high speed settlement system. StarkWare solve the inherent problems of blockchains – scalability, privacy and custody. StarkWare develop a full proof-stack, using STARK Zero Knowledge technology to generate and verify proofs of computational integrity. StarkWare's cryptographic proofs are, succinct, transparent and post-quantum secure. For more information on StarkWare and the STARK hi
Few readers
DeversiFi: What are ZK-STARKs?
What are ZK-STARKs? ZK-STARKs (or STARKs, for short) are a state-of-the-art trustless ZKP that is also post-quantum secure. Transparent (the T in STARK) means it requires no trusted setup (unlike other proof systems). Scalable (the S in STARK) means that compared to the native computation, the prover’s computational work scales quasi-linearly, while the verifier’s computational work scales logarithmically. This creates a significant asymmetry between the prover and verifiers in terms of com
Few readers
DeversiFi: How Much Can StarkEx Scale?
How Much Can StarkEx Scale? StarkEx can currently scale to almost 10,000 non-custodial trades/sec. In the future it will be able to scale to tens of thousands of trades per second, and beyond. In fact, scaling StarkEx is not limited by Ethereum’s resources, but rather by the magnitude of the computers in the cloud, i.e. off-chain, which generate STARK proofs.
Few readers
DeversiFi: What are Zero-Knowledge Proofs?
What are Zero-Knowledge Proofs? Zero-Knowledge Proofs are cryptographic proofs of Computational Integrity (CI), where no additional information is revealed. Proofs of CI are, as the name suggests, proofs that a computation was done correctly. In a CI protocol, there are two entities: a prover and a verifier. The prover takes a given computation - a computational statement - proves that it was done correctly, and presents this proof to the verifier. The verifier then verifies the proof
Few readers