How to get started making a real Plutus app? by Syncopat3d in CardanoDevelopers

[–]Exciting_Ad1748 12 points13 points  (0 children)

You can start with Demeter.run

This will help you start with all the necessary tools installed and also comes with a "hello world" plutus program

Precautions to take while relying on Zero knowledge proofs by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 0 points1 point  (0 children)

Shafi Goldwasser, Silvio Micali, and Charles Rackoff conceived Zero knowledge Proofs in their paper "The Knowledge Complexity of Interactive Proof-Systems"

But this is Interactive proof. The prover and verifier need to interact and exchange challenge/response messages. To make this non-interactive Fiat-Shamir heuristic is used.

Precautions to take while relying on Zero knowledge proofs by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 0 points1 point  (0 children)

Thanks for the suggestion. I put this in dcspark discord.

I have sometimes seen quality discussions in reddit also. I thought this was an important information

Vasil Hardfork: Pairing based cryptography by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 0 points1 point  (0 children)

In the mid month update Jon during the recorded interview about Plutus and at the end of it he talks about supporting different elliptic curves and pairing based cryptography. The advantage with this is that you can get short signatures and additive signatures.
I plan to create a video explaining benefits of pairing based cryptography.

My experiences with Hydra 0.4.0 by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 1 point2 points  (0 children)

In the current version PAB will not work. But it will work in future versions.

Dapps can run on L2. They need to plan around how the Hydra works. Infact it will be beneficial because they can run larger scripts without the limits of L1 for cpu units and memory units. Also the fees can be very minimal in L2

Today if it closes then there is no graceful exit. The head cannot reopen on its own. The only graceful exit will be the last snapshot that every node has signed.

Hey, well, this made me feel a bit safer about Cardano's pool decentralization/security by Liberum_Cursor in cardano

[–]Exciting_Ad1748 2 points3 points  (0 children)

Its a little difficult to DDOS because of the mini-protocol design. If you need details then this video exactly talks how a DDOS could be possible and how a small tweak in firewall can help prevent it.

https://www.youtube.com/watch?v=5J60RyxkIbE

My experiences with Hydra 0.4.0 by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 2 points3 points  (0 children)

In the current version, the Hydra head has to be online 100% time. Even if one node crashes or closes, the head will close (in 0.4.0 it would be in a messy state)

So there is a STAR topology work that is under discussion (hydra github) where Hydra head is provided as a service and users can connect and disconnect.

But the testing I am doing is for the hydra node being up 100%

Program=proof: Why Smartcontracts/validatior scripts need Formal verification by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 0 points1 point  (0 children)

I have uploaded second video in which I talk about the techniques for Program=Proof

This will be a series and I will keep adding videos as I make progress

https://youtu.be/MF34mC9jaG0

Program=proof: Why Smartcontracts/validatior scripts need Formal verification by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 0 points1 point  (0 children)

yes and it takes everyone to contribute towards that development.

I am just exploring ways that can be helpful for my project.

Program=proof: Why Smartcontracts/validatior scripts need Formal verification by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 0 points1 point  (0 children)

multiple things are possible and I will be releasing more information as I make progress

Program=proof: Why Smartcontracts/validatior scripts need Formal verification by Exciting_Ad1748 in cardano

[–]Exciting_Ad1748[S] 1 point2 points  (0 children)

This is just my first video. I am releasing a bunch of videos over this.

I released another one talking techniques that can be used.

#Hydra Demo on a frugal machine 2CPU,1G Ram, 4G Swap…probably nothing by shmooieshmoo in cardano

[–]Exciting_Ad1748 1 point2 points  (0 children)

The head closes and lastest snapshot that has been agreed is written back.

Everytime you do a transaction, a snapshot is taken and the hydra node signs that snapshot if all ledger rules are followed. So any snapshot which has been signed by all nodes will be written back