Clarity Wasm WG: Sprint Sync Thread

[obycode]

Sprint 6 ➡️ 7: October 3rd, 2023

Sprint 6: Wins

✅ Unlocks

• 52% of keywords implemented
• Major refactoring validated and in progress
• Excellent progress on testing framework

📢 Shoutouts

• 🏗️ Kris: beautiful refactoring
• 🧪 Cyle: insightful experiments
• 🚄 Anthony: complex Wasm
• 👏 Matt: jumping in on print

Sprint 7: Goals

🚢 Shipping Goals

• Complete contract-call?, print and hash160
• Knock out another 15% of the remaining keywords
• Complete testing framework (stretch)

🥅 Teamwork Goals

• Improve communication on GitHub
• Improve external updates

Sprint 7: Blockers

🛑 Internal Blockers

None!

🚨 External Blockers

• Clarinet integration is blocked on separating wasmtime from clarity crate

[obycode]

Sprint 7 ➡️ 8: October 17th, 2023

Sprint 7: Wins

✅ Unlocks

• Major refactoring completed and merged in; more in progress
• Completed sha256 implementation
• Completed print and initial contract-call? implementation

📢 Shoutouts

• Welcome aboard, @csgui!
• Great job finishing sha256 @Acaccia

Sprint 8: Goals

🚢 Shipping-Related Goals

• Reach 70% of expressions implemented
• Complete refactoring work
• Complete A-B tester configuration

🥅 Teamwork-Related Goals

• Continue to improve regular status update process
• Keep up the good work!

Sprint 8: Blockers

🛑 Internal Blockers

• None

🚨 External Blockers

• Clarinet integration is still blocked on separating wasmtime from clarity crate

[obycode]

Sprint 8 ➡️ 9: October 31st, 2023

Sprint 8: Wins

✅ Unlocks

• of all expressions implemented!
• for boot contract requirements
• 🔧 Finished remaining major refactoring work
• 📦 All remaining expressions organized and issues opened

📢 Shoutouts

• 🚀 Congrats on merging your first PRs, @csgui! Implemented 4️⃣ expressions so far!
• 🐉 Great work @cylewitruk for fighting through the issues with the A/B tester
• 🤝 Thanks @kantai for answering questions to unblock the A/B tester

Sprint 9: Goals

🚢 Shipping-Related Goals

• 📈 Reach 90+% of expressions implemented
• 🆎 Complete A-B tester configuration

🥅 Teamwork-Related Goals

• ☎️ Improve communication on GitHub
• 👍 Keep up the good work!

Sprint 9: Blockers

🛑 Internal Blockers

• The A/B tester continues to grow in complexity as new problems are discovered. Latest blocker is unblocked (thanks @kantai for answering questions in Discord), but this is behind schedule.

🚨 External Blockers

• None

[krl]

Sprint 9 ➡️ 10: November 14th, 2023

Sprint 9: Wins

✅ Unlocks

• of all expressions implemented!
• 🐎 Great pace implementing the remaining functions
• ⛺ The code keeps getting better as we add to it
• Code coverage is now working and we're looking pretty good!

📢 Shoutouts

• 🙌 Thanks @zone117x for contributing the codecov fixes and investigating benchmark improvements
• 👷 Excellent redesigned testing pattern @krl
• 🎷 Awesome work on the Clarinet integration @hugocaillard

Sprint 10: Goals

🚢 Shipping-Related Goals

• of all expressions implemented!
• 📈 Begin to collect numbers for performance

🥅 Teamwork-Related Goals

• ☎️ Improve communication on GitHub
• 👍 Keep up the good work!

Sprint 10: Blockers

🛑 Internal Blockers

• None

🚨 External Blockers

• None

[will-corcoran]

Sprint 10 ➡️ 11: November 29th, 2023

Sprint 10: Wins

🌐 Summary

• of all expressions implemented (remaining almost complete, excluding utf8)
• 🎶 Big progress on clarinet integration; expect to be completed very soon
• 0️⃣➡️1️⃣ Successfully replayed the genesis block in the A/B tester!

✅ Unlocks

• 🏗️ Rebased our working stacks-core branch onto next
• 🚪 Early exit code path is fully defined and cleaned up, meaning that writing asserts!, try!, unwrap-err! should all go quickly
• 🆎 More improvements to the A/B tester framework to keep things as compact and straightforward as possible

📢 Shoutouts

• 🤝 Great to bring another developer into the team @ameeratgithub
• 🙌 @Acaccia for always taking on the tough Wasm tasks

Sprint 11: Goals

🚢 Shipping-Related Goals

• Finish remaining Clarity function implementations
• Resolve remaining missing pieces in the contract-call interface
• Wrap up clarinet integration and complete developer release
• Start cost-tracking

Sprint 11: Blockers

🛑 Internal Blockers

• None!

🚨 External Blockers

• None!

[obycode]

Sprint 11 ➡️ 12: December 13th, 2023

Sprint 11: Wins

🌐 Summary

• of all expressions used in boot contracts are implemented 🎉
• of all expressions implemented (including utf8!)
  • 2 functions left are in progress and should reach 100% today/tomorrow
• 2️⃣3️⃣ PRs merged in clarity-wasm since the last sync! (not including clarinet and stacks-core PRs)
• 🎶 Clarinet integration
  • 👩‍💻 clarinet console support is ready to release
  • 🌐 clarinet integrate ready to move once Nakamoto Neon is ready
• 🤙 Completed proper handling of errors, rollbacks, etc. around function calls and contract calls
• 🧪 Property testing setup for more Clarity values

📢 Shoutouts

• 🤠 @zone117x for tackling UTF8 support (we thought this would not be included in the first DR)
• 🥇 @ameeratgithub for his first merged PR, implementing sha512 in WebAssembly!
• 🎷 @hugocaillard for great work on Clarinet
• 🐞 @Acaccia for setting up new property testing - finding and fixing bugs on the way

Sprint 12: Goals

🚢 Shipping-Related Goals

• Finish up the last remaining bits of Clarity function support
• Get clarinet integrate running with a stacks node supporting Clarity-Wasm
• Build up testing capabilities
• Continue to find and fix bugs

Sprint 12: Blockers

🛑 Internal Blockers

• None!

🚨 External Blockers

• Need a functional Nakamoto Neon node to complete clarinet integrate support for Clarity-Wasm

[obycode]

Sprint 12 ➡️ 13: December 27th, 2023

Sprint 12: Wins

🌐 Summary

• of all expressions implemented (including utf8!)
• 🎶 Clarinet pre-release supporting Clarity-Wasm in the console and in the devnet
• 🐞 Now in bug-squashing mode

📢 Shoutouts

• 🎷 @hugocaillard for getting the Clarinet release out the door before the holidays!
• 🔍 @CharlieC3 for simplifying the docker image creation, getting the Clarity-Wasm testnet running, and reporting bugs
• 🆎 @cylewitruk for making big progress on the A/B testing framework

Sprint 13: Goals

🚢 Shipping-Related Goals

• Build up the testing infrastructure
  • Unit tests
  • Property tests
• Start benchmarking work
• Find and fix bugs

Sprint 13: Blockers

🛑 Internal Blockers

• None!

🚨 External Blockers

• None!

[obycode]

Sprint 13 ➡️ 14: January 10th, 2024

Sprint 13: Wins

🌐 Summary

• 🔎🐞 Bug finding and fixing mode in full effect
• ⚗️ Continued to expand property testing
• ⚙️ Managed testnet up and finding real world bugs

📢 Shoutouts

• 🧪 @Acaccia for continuing to push and improve the property testing, and sharing this work for others to join in!
• 😱 @ameeratgithub for digging through the code and removing any potential panics
• 🐎 @ASuciuX @csgui @jbencin for taking on the benchmarking work

Sprint 14: Goals

🚢 Shipping-Related Goals

• Continue to increase property testing
• Deploy a stacks-node that disables epoch gating and follows along with mainnet using Clarity Wasm to execute all transactions
• Use ALEX suite of contracts to test managed testnet and get them all deployed and running correctly.
• Benchmarking (timeline details TBD)

Sprint 14: Blockers

🛑 Internal Blockers

• None!

🚨 External Blockers

• None!

[obycode]

Sprint 14 ➡️ 15: January 24th, 2024

Sprint 14: Wins

🌐 Summary

• 🦟👏 Continuing to find and squash bugs
• 🥝 Fuzz testing started
• ☑️ Solid testing plan in place and progressing well

📢 Shoutouts

• 🥝 @moodmosaic for working with us to set up Clarity fuzz testing
• ✍️ @csgui for creating issues and documenting testing work
• 🎃 @cylewitruk for being a jack-of-all-trades and helping with various tasks

Sprint 15: Goals

🚢 Shipping-Related Goals

• Continue property testing and fuzz testing
• Finish cost-tracking and runtime error mapping
• Fix bugs as they are found!

Sprint 15: Blockers

🛑 Internal Blockers

• None!

🚨 External Blockers

• None!

[obycode]

Sprint 15 ➡️ 16: February 7th, 2024

Sprint 15: Wins

🌐 Summary

• 🦟👏 Continuing to find and squash bugs with property tests and crosscheck (comparison between VMs) tests
• 🔢 Discussion and initial planning for cost-tracking

📢 Shoutouts

• 🏆 @Acaccia for leading the testing and bug-fixing efforts
• 🖲️ @krl for fixing bugs and taking on the cost-tracker

Sprint 16: Goals

🚢 Shipping-Related Goals

• Continue property testing and fuzz testing
• Finish cost-tracking and runtime error mapping
• Fix bugs as they are found!

Sprint 16: Blockers

🛑 Internal Blockers

• None!

🚨 External Blockers

• None!

[obycode]

Sprint 16 ➡️ 17: February 21st, 2024

Sprint 16: Wins

🌐 Summary

• 🦟👏 Continuing to find and squash bugs with property tests and crosscheck tests
• 👨‍🔬 Researched and wrote up findings for cost-tracking implementation and testing

📢 Shoutouts

• 🧪 @csgui for setting up the property testing cronjob to regularly run longer sessions of property testing
• 🐎 @cylewitruk for jumping into the performance discussions with lessons learned from the A/B tester

Sprint 17: Goals

🚢 Shipping-Related Goals

• Wrap up property testing and fuzz testing
• Complete discussions and a PoC for the new cost-tracking design
• Fix bugs as they are found!

Sprint 17: Blockers

🛑 Internal Blockers

• Need to get past a complicated merge from the latest next branch

🚨 External Blockers

• None!