andytoshi changed the topic of #bitcoin-wizards to: This channel is for discussing theoretical ideas with regard to cryptocurrencies, not about short-term Bitcoin development | This channel is logged. | For logs and more information, visit https://bitcoin.ninja
jnsu has quit [Ping timeout: 264 seconds]
deusexbeer has joined #bitcoin-wizards
bitdex has joined #bitcoin-wizards
jonatack_ has quit [Ping timeout: 276 seconds]
kenshi84 has joined #bitcoin-wizards
kenshi84_ has quit [Ping timeout: 240 seconds]
brg444 has joined #bitcoin-wizards
jeremyrubin has quit [Ping timeout: 246 seconds]
jeremyrubin has joined #bitcoin-wizards
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
TheoStorm has quit [Quit: Leaving]
belcher_ has joined #bitcoin-wizards
belcher has quit [Ping timeout: 276 seconds]
nick_fre_ has joined #bitcoin-wizards
gribble has quit [Remote host closed the connection]
nick_freeman has quit [Ping timeout: 264 seconds]
jeremyrubin has quit [Ping timeout: 276 seconds]
gribble has joined #bitcoin-wizards
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
shesek has quit [Remote host closed the connection]
shesek has joined #bitcoin-wizards
shesek has joined #bitcoin-wizards
livestradamus has quit [Quit: I'm out.]
livestradamus has joined #bitcoin-wizards
gribble has quit [Read error: Connection reset by peer]
gribble has joined #bitcoin-wizards
roconnor has quit [Quit: Konversation terminated!]
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
brg444 has quit [Quit: Connection closed for inactivity]
jadi has quit [Ping timeout: 265 seconds]
belcher_ has quit [Read error: Connection reset by peer]
belcher_ has joined #bitcoin-wizards
jadi has joined #bitcoin-wizards
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
Emcy has joined #bitcoin-wizards
I440r has quit [Remote host closed the connection]
retroj1 has joined #bitcoin-wizards
son0p has joined #bitcoin-wizards
nick_fre_ has quit []
laptop has joined #bitcoin-wizards
mryandao has quit [Remote host closed the connection]
jnsu has joined #bitcoin-wizards
nick_freeman has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
AaronvanW has quit [Remote host closed the connection]
jonatack has joined #bitcoin-wizards
belcher_ is now known as belcher
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
jonasschnelli_ has joined #bitcoin-wizards
jonasschnelli_ has quit [Changing host]
AaronvanW has joined #bitcoin-wizards
mryandao has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 276 seconds]
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
DeanGuss has quit [Remote host closed the connection]
DeanGuss has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
mryandao has quit [Remote host closed the connection]
mryandao has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 240 seconds]
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 240 seconds]
_whitelogger has joined #bitcoin-wizards
AaronvanW has joined #bitcoin-wizards
son0p has quit [Quit: leaving]
hendi has joined #bitcoin-wizards
jadi has quit [Remote host closed the connection]
jadi has joined #bitcoin-wizards
sr_gi has quit [Read error: Connection reset by peer]
sr_gi has joined #bitcoin-wizards
<yanmaani> So, Ethereum has a really awful smart contracts language.
<yanmaani> Did anyone come up with a cryptocurrency that uses some "normal" FORTH-like language, but still does Turing-complete contracts?
mappum has joined #bitcoin-wizards
yanmaani has quit [Ping timeout: 268 seconds]
yanmaani has joined #bitcoin-wizards
<michaelfolkson> yanmaani: If you mean more expressive than Script but still without infinite loops then see https://bitcoinops.org/en/topics/simplicity/ Not on Bitcoin yet but on a test branch of Elements https://bitcoinops.org/en/topics/simplicity/
<yanmaani> michaelfolkson: No, with infinite loops, so you can make smart contracts etc, just not in Solidity specifically.
<yanmaani> something formally verified or other
jeremyrubin has joined #bitcoin-wizards
<michaelfolkson> Having all nodes on the network trying to validate infinite loops sounds bonkers to me. You need something like Ethereum's gas before you even start trying to tackle that
<yanmaani> yeah, I mean you would do something like ethereum's gas system. You'd just make it better, so it's easier to write good contracts
<michaelfolkson> Or you write expressive contracts that don't need infinite loops
jadi has quit [Remote host closed the connection]
<yanmaani> Can those do everything? Could you do the whole DeFi casino with it?
<michaelfolkson> The entire DeFi casino is hard if you want to build on top of a decentralized network not because you don't have infinite loops
<michaelfolkson> It is easier to build on a centralized network without liquidity restrictions of second layers and just slap decentralized ("De") on it
<yanmaani> What do you mean? Ethereum seems to be doing fine at providing that service, such that it is.
<michaelfolkson> It is putting all the strain on one layer at the cost of decentralization
<michaelfolkson> (and high fees)
<yanmaani> yeah that's true, but assuming you were fine with that - is there a good Turing-complete replacement for Solidity?
jadi has joined #bitcoin-wizards
<michaelfolkson> Not as far as I know as a slot in replacement for Solidity. Other than those listed in https://diyhpl.us/wiki/transcripts/blockchain-protocol-analysis-security-engineering/2018/2018-01-24-christopher-allen-smart-signatures/
laptop has quit [Ping timeout: 264 seconds]
laptop has joined #bitcoin-wizards
jnsu has joined #bitcoin-wizards
retroj1 has quit [Remote host closed the connection]
SchwarzeLocke has joined #bitcoin-wizards
belcher_ has joined #bitcoin-wizards
belcher has quit [Ping timeout: 245 seconds]
jadi has quit [Remote host closed the connection]
Guyver2 has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 240 seconds]
sdaftuar_ has joined #bitcoin-wizards
jnsu has joined #bitcoin-wizards
sdaftuar has quit [Ping timeout: 268 seconds]
sdaftuar_ has quit [Remote host closed the connection]
sdaftuar_ has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 240 seconds]
bswartz has quit [Remote host closed the connection]
sdaftuar has joined #bitcoin-wizards
bswartz has joined #bitcoin-wizards
sdaftuar_ has quit [Ping timeout: 268 seconds]
sdaftuar has quit [Remote host closed the connection]
sdaftuar has joined #bitcoin-wizards
hendi has quit []
hendi has joined #bitcoin-wizards
jonatack_ has joined #bitcoin-wizards
jonatack has quit [Ping timeout: 245 seconds]
son0p has joined #bitcoin-wizards
jonatack_ has quit [Read error: Connection reset by peer]
Anduck_ is now known as Anduck
jnsu has joined #bitcoin-wizards
jonatack has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 264 seconds]
_whitelogger has joined #bitcoin-wizards
Aaronvan_ has joined #bitcoin-wizards
AaronvanW has quit [Ping timeout: 276 seconds]
SchwarzeLocke has quit [Remote host closed the connection]
ghost43_ has joined #bitcoin-wizards
ghost43 has quit [Ping timeout: 268 seconds]
Guyver2 has quit [Remote host closed the connection]
laptop has quit [Ping timeout: 240 seconds]
yanmaani has quit [Ping timeout: 268 seconds]
yanmaani has joined #bitcoin-wizards
copumpkin has quit [Quit: Hmmm]
jnsu has joined #bitcoin-wizards
jnsu has quit [Ping timeout: 240 seconds]
son0p has quit [Quit: Lost terminal]
Aaronvan_ has quit [Ping timeout: 260 seconds]
copumpkin has joined #bitcoin-wizards
belcher_ is now known as belcher
tromp has quit [Remote host closed the connection]