Tooling and Languages


Topic Replies Views Activity
Key Problems in Tooling and Languages
key-problems

CTA: In these threads we attempt to inventory key areas of exploration that may exist in a particular discipline. These posts are living documents and it is our hope that the community will contribute to the list. CT…

1 438 December 1, 2020
Notable Works in Tooling and Languages
notable-works

SCRF is crowd-sourcing a list of key readings in each forum category to point readers to notable works and foundational research. Please comment in this thread with links to seminal research that could form part of an in…

2 524 June 16, 2021
About the Tooling and Languages category
about
0 577 November 5, 2020
Research Summary: DevOps for Ethereum Blockchain Smart Contracts
summary
10 758 November 26, 2022
Research Summary: A Survey of Verification, Validation, & Testing Solutions for Smart Contracts
summary
0 21 November 25, 2022
Research Summary: A Formal Specification Smart-Contract Language for Legally Binding Decentralized Autonomous Organizations
summary
4 90 November 23, 2022
Research Summary: Declarative Smart Contracts
summary
4 287 November 22, 2022
Research Summary: Prisma: A Tierless Language for Enforcing Contract-Client Protocols in Decentralized Applications
summary
1 203 November 4, 2022
Research Summary: An Empirical Study of Blockchain Repositories in GitHub
summary
3 133 November 2, 2022
Research Summary: Bitcoin Covenants Unchained
summary
11 1265 October 24, 2022
Deep Diving into PRBMath, a Library for Advanced Fixed-Point Math
testing
10 2845 September 3, 2022
Research Summary - A Source-Code-Based Taxonomy for Ethereum Smart Contracts
summary
2 299 March 22, 2022
Research Summary: Leveraging Blockchain for Greater Accessibility of Machine Learning Models
summary
24 1927 February 17, 2022
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
summary
4 1245 February 17, 2022
Research Summary: Towards private on-chain algorithmic trading
summary ,  zero-knowledge ,  dex ,  oracles
7 1221 January 29, 2022
Research Summary: Coding a DeFi arbitrage bot
summary ,  defi ,  dex ,  arbitrage-bots
15 23786 December 9, 2021
Research Summary: Building a Flash Loan Arbitrage Bot on Infura
summary ,  flash-loans ,  arbitrage-bots
2 1031 November 10, 2021
A Conversation with the Creators of BitML
key-problems ,  discussion
10 905 July 22, 2021
Mini Post: Fast and reliable AML check in 4 quick steps
4 1657 July 20, 2021
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
summary ,  network-security ,  formal-verification ,  interview
4 1056 March 26, 2021
Scribble: an inline verification language for Solidity
discussion ,  formal-verification ,  ethereum
3 662 January 8, 2021
Introduction to Tooling and Languages
category-intro
0 349 December 1, 2020