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 400 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 485 June 16, 2021
About the Tooling and Languages category
about
0 490 November 5, 2020
Deep Diving into PRBMath, a Library for Advanced Fixed-Point Math
testing
10 2415 September 3, 2022
Research Summary: Declarative Smart Contracts
summary
0 141 August 25, 2022
Research Summary: DevOps for Ethereum Blockchain Smart Contracts
summary
9 618 August 25, 2022
Research Summary - A Source-Code-Based Taxonomy for Ethereum Smart Contracts
summary
2 247 March 22, 2022
Research Summary: Leveraging Blockchain for Greater Accessibility of Machine Learning Models
summary
24 1763 February 17, 2022
Research Summary: BitML: A Calculus for Bitcoin Smart Contracts
summary
4 1108 February 17, 2022
Research Summary: Towards private on-chain algorithmic trading
summary ,  zero-knowledge ,  dex ,  oracles
7 1081 January 29, 2022
Research Summary: Coding a DeFi arbitrage bot
summary ,  defi ,  dex ,  arbitrage-bots
15 22915 December 9, 2021
Research Summary: Building a Flash Loan Arbitrage Bot on Infura
summary ,  flash-loans ,  arbitrage-bots
2 812 November 10, 2021
A Conversation with the Creators of BitML
key-problems ,  discussion
10 840 July 22, 2021
Mini Post: Fast and reliable AML check in 4 quick steps
4 1518 July 20, 2021
Research Summary: Bitcoin Covenants Unchained
summary
10 1131 May 12, 2021
Research Summary - eThor: Practical and Provably Sound Static Analysis of Ethereum Smart Contracts
summary ,  network-security ,  formal-verification ,  interview
4 1000 March 26, 2021
Scribble: an inline verification language for Solidity
discussion ,  formal-verification ,  ethereum
3 603 January 8, 2021
Introduction to Tooling and Languages
category-intro
0 317 December 1, 2020