Sitemap
Veridise

Our mission in to harden blockchain security with formal methods. We write about blockchain security, zero-knowledge proofs, and our bug discoveries.

How to develop securely on Soroban? Storage types with unbounded data

2 min readMar 15, 2024

--

Press enter or click to view image in full size

Introducing Soroban

Soroban is a new smart contract platform that seamlessly integrates into the existing Stellar blockchain. Soroban is independent of Stellar, though, and can be used by any transaction processor, including other blockchains. Stellar is one of the earliest blockchain implementations with 9-year history.

Soroban was launched in March 2023, and at the same time, a $100M adoption fund was announced to support developers building on Soroban.

The Soroban platform includes the smart contract environment and a Rust SDK that can be used to write smart contracts. Specifically, the smart contract environment utilizes the WebAssembly (Wasm) virtual machine, and contract code is compiled into Wasm bytecode. This allows for the potential support of other languages in the future besides Rust.

Soroban introduced ‘footprints’, or transaction dependencies. This feature allows for the grouping of transactions and their concurrent execution. It enables parallel computation and leverages modern multi-core hardware.

How to avoid DoS risk with unbounded data…

Full blog post available on our new Veridise blog

We’ve recently moved our main blog to the Veridise website!

You can continue reading the rest of the blog post here:

https://veridise.com/blog/learn-blockchain/how-to-develop-securely-on-soroban-storage-types-with-unbounded-data/

Author: Alberto Gonzales, Veridise

Want to learn more about Veridise?

Twitter | LinkedIn | Github | Request Audit

--

--

Veridise
Veridise

Published in Veridise

Our mission in to harden blockchain security with formal methods. We write about blockchain security, zero-knowledge proofs, and our bug discoveries.

Veridise
Veridise

Written by Veridise

Hardening blockchain security with formal methods. We write about blockchain & zero-knowledge proof security. Contact us for industry-leading security audits.

No responses yet