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