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.
rhino.fi: What is the Difference between a ZK-Rollup and an Optimistic Rollup?
What is the Difference between a ZK-Rollup and an Optimistic Rollup? ZK-Rollups and Optimistic Rollups 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 they rely on. Optimistic Rollups rely on fraud proofs: a new state is assumed to be valid, unless proof to the contrary (a proof of fraud) is submitted to the bloc
Popular
rhino.fi: What is StarkEx?
What is StarkEx? rhino.fi [then known as DeversiFi] was the first self-custodial exchange to launch with StarkEx technology. StarkEx leverages the STARK zero-knowledge proof technology to bring scalable non-custodial trading to cryptocurrency exchanges. Zero-Knowledge Proofs, and STARKs in particular, carry various properties that make them a powerful tool for blockchains. These properties are built into StarkEx. The inherent asymmetry between the prover’s and verifier's computati
Popular
rhino.fi: About StarkWare
About StarkWare StarkWare is the name of the company behind rhino.fi's high-speed settlement system. StarkWare solves the inherent problems of blockchains – scalability, privacy and custody. StarkWare has developed 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 STAR
Some readers
rhino.fi: What are Zero-Knowledge Proofs?
What are Zero-Knowledge Proofs? Zero-Knowledge Proofs are cryptographic proofs of Computational Integrity (CI), where no sensitive 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
Some readers
rhino.fi: What are ZK-STARKs?
What are ZK-STARKs? ZK-STARKs (or STARKs, for short) are a state-of-the-art, trustless zero-knowledge proofing (ZKP) mechanism that is also post-quantum secure. The name stands for Zero-Knowledge - Scalable Transparent Arguments of Knowledge. The 'Transparent' part of the name means it requires no trusted setup (unlike other proof systems), while 'Scalable' means that compared to the native computation, the prover’s computational work scales quasi-linearly, while the verifier’s computati
Some readers
rhino.fi: How Much Can StarkEx Scale?
How Much Can StarkEx Scale? StarkEx can currently scale to almost 10,000 non-custodial trades per second. In the future it will be able to scale to tens of thousands of trades per second, and beyond. In fact StarkEx's scalability 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