Web3
sprint cycle
The Plank Web3 lab consists of dedicated teams of engineers and researchers that work with innovative technology companies on their most difficult challenges.
Contract design
- Create user stories and document various personas
- Document pseudocode for various contract flows
- Write acceptance criterion
Off-chain code design and implementation
- Break business logic into multiple operations
- Design and implement logic for each operation
- Browser wallet integration
On-chain validators design and implementation
- Design and document invariants for each operation
- Design and code on-chain validators for each operation
- Fee estimation and optimization
Attack vector testing and continuous integration
- Document attack scenarios
- Implement traces to cover attacks
- Implement traces to cover all contract invariant conditions
- Implement positive and negative test scenarios
- End to end tests from browser
- Continuous integration to run tests automatically on commits
TestNet & MainNet deployment
- Versioning of contract scripts
- Deployment of contract script eUTX0s on testnet and mainnet
- Automated minting of contract NFTs
- Performance testing based on latency, transaction volume and gas fee
Sprint review and plan next sprint requirements
- Demo of features completed in sprint
- Sprint retrospective and review of actual vs estimated effort
- Backlog review and planning of features for next sprint
Customer Showcase
VyFinance
.svg){kind=icon}
VyFinances ecosystem will be situated on the Cardano blockchain and will be broken down into two layers – DEX (decentralized exchange) and AH (Auto-harvester). The DEX will contain liquidity provisions and an exchange. The AH is a neural net designed to manage liquidity provisions on behalf of users, by staking Cardano (ADA) or VyFi (our native token) on our AHs’ smart contracts.
Charlie
Charli3 is a decentralized oracle ecosystem solution that serves as a middleware role between Dapp and Defi solutions. Data pulled from APIs, hashed on-chain and available to protocols as data streams. Second generation blockchains have introduced smart contracts that allow for much more complex and conditioned transactions. With smart contracts, participating parties can define transactions via specific on and off-chain parameters. However, blockchains alone cannot access this required off-chain data. We use the term oracle to define a service that provides off-chain data to on-chain smart contracts. Charli3 is the first decentralized oracle network for the Cardano blockchain. By being native to Cardano, Charli3 aims to avoid the notable issues with flexibility, scaling, and growing transaction fees seen with Ethereum-based oracles while also building its foundation on a trusted network.
IOHK
IOHK is the company behind the decentralized and smart contract platform, Cardano with a market cap of over $12b. Cardano is a proof-of-stake blockchain platform that introduced the extended UTXO model that supports a substantially more expressive form of validation scripts, including scripts that implement general state machines and enforce invariants across entire transaction chains
Engineers we’ve worked with
Lorem ipsum dolor sit amet, consectetur adipiscing elit. Ut morbi bibendum interdum sit. Tincidunt magna nisi, a amet sit enim dui accumsan. Phasellus in nunc gravida.
Ale Gadea
PhD in Compiler Correctness, Computational Adequacy, Logical Relations.
- Assistant Professor at National University of Cordoba
- Co-designed the leading oracle consensus protocol for Cardano
- 10+ years of experience in Haskell
Manu Gunther
PhD in Type Theory, Dependent Types, Functional Programming
- Associate Professor at National University of Cordoba
- Co-designed the leading oracle consensus protocol for Cardano
- Published more than 10 research papers in formal methods and type theory
