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
IOHK
.svg){kind=icon}
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
