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 375 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 458 June 16, 2021
About the Tooling and Languages category
about
0 416 November 5, 2020
Research Summary: DevOps for Ethereum Blockchain Smart Contracts
summary
7 469 July 7, 2022
Research Summary - A Source-Code-Based Taxonomy for Ethereum Smart Contracts
summary
2 218 March 22, 2022
Research Summary: Leveraging Blockchain for Greater Accessibility of Machine Learning Models
summary
24 1673 February 17, 2022
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
summary
4 992 February 17, 2022
Research Summary: Towards private on-chain algorithmic trading
summary ,  zero-knowledge ,  dex ,  oracles
7 966 January 29, 2022
Research Summary: Coding a DeFi arbitrage bot
summary ,  defi ,  dex ,  arbitrage-bots
15 22130 December 9, 2021
Research Summary: Building a Flash Loan Arbitrage Bot on Infura
summary ,  flash-loans ,  arbitrage-bots
2 603 November 10, 2021
Deep Diving into PRBMath, a Library for Advanced Fixed-Point Math
testing
8 2079 August 18, 2021
A Conversation with the Creators of BitML
key-problems ,  discussion
10 785 July 22, 2021
Mini Post: Fast and reliable AML check in 4 quick steps
4 1369 July 20, 2021
Research Summary: Bitcoin Covenants Unchained
summary
10 1061 May 12, 2021
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
summary ,  network-security ,  formal-verification ,  interview
4 968 March 26, 2021
Scribble: an inline verification language for Solidity
discussion ,  formal-verification ,  ethereum
3 577 January 8, 2021
Introduction to Tooling and Languages
category-intro
0 291 December 1, 2020