profile
viewpoint
Skylar-Ray O'Quinn Yasuke Obsidian Systems

input-output-hk/plutus-apps 167

The Plutus application platform

obsidiansystems/lazy-minting 2

Smart contract implementation allowing lazy minting and auctioning capability of NFTs

Marenz/ue4lfstest 0

ue4lfstest

obsidiansystems/capsule 0

Nixified capsule

obsidiansystems/kadena-transfer-js 0

Simple Javascript tools to transfer Kadena coins

Yasuke/bitcloud 0

Bitcloud Project

Yasuke/minio-hs 0

MinIO Client SDK for Haskell

Yasuke/obelisk 0

Functional reactive web and mobile applications, with batteries included.

push eventobsidiansystems/force-bridge

Skylar-Ray O'Quinn

commit sha 40beaa5ee41104164fcaa18c17c6118bc1fccd3b

Update Readme

view details

push time in 6 hours

push eventobsidiansystems/force-bridge

Skylar-Ray O'Quinn

commit sha b3fa7ff007b177e6ba70b4aa4eb794e6e5d1d58b

Finalize shell.nix

view details

push time in 7 hours

push eventobsidiansystems/force-bridge

Skylar-Ray O'Quinn

commit sha bf6206a7a40318d9a4140aeb4d91f2ea6e9f3e3f

Add ckb-cli and correct capsule version

view details

push time in 14 hours

create barnchobsidiansystems/capsule

branch : v0.2.3-nix

created branch time in 14 hours

create barnchobsidiansystems/force-bridge

branch : nixification

created branch time in 3 days

create barnchobsidiansystems/capsule

branch : main

created branch time in 4 days

created repositoryobsidiansystems/capsule

Nixified capsule

created time in 4 days

created repositoryobsidiansystems/capsule

Nixified capsule

created time in 4 days

issue commentinput-output-hk/plutus-apps

utxoIsProduced does not work on local cluster

Hey @volodyad this is being investigated along with #199

volodyad

comment created time in a month

issue closedinput-output-hk/plutus-apps

verifySignedMessageConstraints does not work

Is there an existing issue for this?

  • [X] I have searched the existing issues

Summary

Use next code to sign and verify message

main :: IO ()
main = do
  args <- getArgs
  let nargs = length args
  let gameId = if nargs > 0 then read (args!!0) else 0
  let oracleSignKey = if nargs > 1 then args!!1  else ""
  let winnerId = if nargs > 2 then read (args!!2) else 0
  let statusM = if nargs > 3 then decode (LB8.pack $ args!!3) else Just NS
  status <- maybe(exitWithErrorMessage "Wrong status") pure statusM
  signerKeyEither:: Either (FileError TextEnvelopeError) (SigningKey PaymentExtendedKey)<- readFileTextEnvelope (AsSigningKey AsPaymentExtendedKey) oracleSignKey

  case signerKeyEither of
    Left err -> exitWithErrorMessage $ "SKey parse error" ++ show err
    Right sKey -> do
      let signKeyE = xprv $ serialiseToRawBytes sKey
      case signKeyE of 
        Left error -> exitWithErrorMessage error
        Right signKey -> do
          let privPub = toPublicKey signKey
          let pkhPriv = pubKeyHash $ privPub

          --exitWithErrorMessage $ "pkh: " ++ show pkh ++ " privPkh: " ++ show pkhPriv
          let message = OracleSignedMessage{
              osmWinnerId = winnerId,
              osmGameId = gameId,
              osmGameStatus = status
          }
          let signedMessage = signMessage message signKey

          case verifySignedMessageConstraints privPub signedMessage of
            Left err                 -> exitWithErrorMessage $ "verify error: " ++ show err
            Right (osm, constraints) -> exitWithErrorMessage $ "verify success" 


exitWithErrorMessage :: String -> IO a
exitWithErrorMessage str = hPutStrLn stderr str >> exitWith (ExitFailure 1)

Steps to reproduce the behavior

create extended key and run

{
    "type": "PaymentExtendedSigningKeyShelley_ed25519_bip32",
    "description": "Payment Signing Key",
    "cborHex": "..."
}

exec command cabal exec -- encode-oracle-request 1 $ORACLE_SIGN_KEY 0 "\"LIVE\""

Actual Result

Output verify error: SignatureMismatch e4eeb82e5992083a4fb18ff97fe490e75978e3e8d3f51fd8e0a958ae9e1f7fce88050409f868cd2eae77c6f836aadc76dcb42d2c2a145105b62394c0e1469f09 3978ed863054ad729479fcee093506e3cdca0ed71cf2aa24b6fd62f5c56e4cb9 9a23ef09426b07ac1ba4a70b5dea0493235f2bff1ae6a2fcfc6de765adfa6079

Expected Result

It should verify signature successfully

What have you tried to resolve this issue?

Dived to the sign verifiction, but do not know yet much detils of compaibility XPrv with Ed25519Donna

module Crypto (verifySignature) where

import Control.Applicative
import Crypto.ECC.Ed25519Donna
import Crypto.Error (maybeCryptoError)
import Data.ByteString qualified as BS

verifySignature
    :: Alternative f
    => BS.ByteString  -- ^ Public Key
    -> BS.ByteString  -- ^ Message
    -> BS.ByteString  -- ^ Signature
    -> f Bool
verifySignature pubKey msg sig =
    maybe empty pure . maybeCryptoError $
        verify
            <$> publicKey pubKey
            <*> pure msg
            <*> signature sig

Checked our docs?

  • [X] Yes, I have looked in the the readme, plutus docs, and technical report for help on this issue.

Checked Stack Exchange?

  • [X] Yes, I have searched Stack Exchange for this issue and it doesn't exist.
  • [X] I have considered raising this issue in Stack Exchange.

System info

plutus apps a78e858f77cd3ecb76877351e0832ee5643f09a9 nix on macos bigSur 11.5.2

Screenshots and attachments

No response

closed time in a month

volodyad

issue commentinput-output-hk/plutus-apps

verifySignedMessageConstraints does not work

Fixed with #177

volodyad

comment created time in a month

issue commentinput-output-hk/plutus-apps

The program 'cardano-wallet' is required but it could not be found.

@koslambrou when I am on latest doing cabal build cardano-wallet succeeds and is listed as a source-repository-package in the cabal.project.

volodyad

comment created time in a month

issue closedinput-output-hk/plutus-apps

The program 'cardano-wallet' is required but it could not be found.

Summary

Try to run testnet on latests sample

Steps to reproduce the behavior

run step cabal exec -- cardano-wallet serve \

--testnet testnet/testnet-byron-genesis.json \
--node-socket testnet/node.sock

Actual Result

The program 'cardano-wallet' is required but it could not be found.

Expected Result

Cardano wallet should start

Describe the approach you would take to fix this

No response

System info

MacOS

closed time in a month

volodyad

issue commentinput-output-hk/plutus-apps

The program 'cardano-wallet' is required but it could not be found.

In the plutus-pab integration example cardano-wallet can be built and is part of the instructions @koslambrou. I have seen this issue when the tag being used is something along the lines of plutus-starter-devcontainer.

@volodyad I would suggest updating to a newer version of plutus-apps where cardano-wallet is present, or as @koslambrou suggested get it from the cardano-wallet repo instead.

volodyad

comment created time in a month

issue commentinput-output-hk/plutus-apps

local cluster perfomance degrades

Hey @volodyad we are looking into this, when a fix for the issue is found I will let you know!

volodyad

comment created time in a month

issue commentinput-output-hk/plutus-apps

Ability to get transactions ids from validator hash

@kk-hainq are you following a similar approach to @volodyad by listening for events and storing those yourself?

volodyad

comment created time in a month

issue commentinput-output-hk/plutus-apps

`web-ghc` fails to compile Haskell programs that use non-ANSI characters

@palas while we continue to investigate the reason the live site isn't handling this case, this seems to not be an issue in the current branch, as an interim fix I suggest running the playground locally using the steps in the README here.

I will then let you know when a fix goes live.

palas

comment created time in a month

issue commentinput-output-hk/plutus-apps

Improve Chain Index documentation

We would be happy to have your contribution @kk-hainq!

kk-hainq

comment created time in a month

issue commentinput-output-hk/plutus-apps

Improve Chain Index documentation

Hey @kk-hainq It looks like #186 has laid the groundwork for separating chain-index out as a library, if you see anything obviously missing or aren't satisfied with the added documentation, we would definitely appreciate your input into the state of things.

kk-hainq

comment created time in a month

issue commentinput-output-hk/plutus-apps

`web-ghc` fails to compile Haskell programs that use non-ANSI characters

Hey @palas thanks for the issue, we will investigate this and I will let you know what transpires.

palas

comment created time in a month

issue commentinput-output-hk/plutus-apps

Plutus Playground DecodingError when Evaluating any script

We are looking into this issue, and a fix should be implementing in the coming time.

james-iohk

comment created time in a month

push eventYasuke/plutus-apps

Skylar-Ray O'Quinn

commit sha e3342644439ede4e7cdbd8dc34865b358c766198

Add oracle sign off-chain and on-chain prop tests

view details

Skylar-Ray O'Quinn

commit sha b7a5e7719f934ad64cc793d13020c13133354106

Bump materialized plans

view details

John Lotoski

commit sha b5e64bd5733a342854131671f57bc5093025593f

Adds forceNewEval to release.nix

view details

push time in a month

push eventYasuke/plutus-apps

Skylar-Ray O'Quinn

commit sha cda8809618f3b766ad7d4625178ca2f78688530c

Add passphrase to ledger signing api This addresses #168; Instead of having the passphrase for signing hardcoded to "Ledger.Crypto PassPhrase", allow the passphrase to be provided. This way we aren't prevented from using private keys created with tools like cardano-address and cardano-cli

view details

Skylar-Ray O'Quinn

commit sha 2b4b7a46a8b4bef304b2e9be6b8bec1cc38fc775

Add tests to verify signing and verification

view details

Skylar-Ray O'Quinn

commit sha b545b6e1bb7b30d92bfdc92c9b1113df28e0bbe7

Add oracle sign off-chain and on-chain prop tests

view details

Skylar-Ray O'Quinn

commit sha 40bd6cb35cc90d9fe074f4b3d854853de0132616

Bump materialized plans

view details

John Lotoski

commit sha f975fa71eeaa7ef77e9e0d02366c1da5e318abb7

Adds forceNewEval to release.nix

view details

push time in a month

pull request commentinput-output-hk/plutus-apps

Add passphrase to ledger signing api

Rebased on current main

Yasuke

comment created time in a month

push eventYasuke/plutus-apps

Sjoerd Visscher

commit sha a53bfcab7e1e9481cad97bffe3e6d8d93efe3ace

Add raiseMUnderN to freer-extras (#175)

view details

Evgenii Akentev

commit sha 804a84bd15074902cce9096ef98721675566c003

Fix mustSatisfyAnyOf logic (fix #101). (#166) add contract test Use any instead of or and map

view details

Shea Levy

commit sha 01035dad66ddd9bbab5f56de0fc23686d0d4a165

deploy-bitte: Don't use new bashisms, CI is too old

view details

James

commit sha 373dc99af458ef06bf7dd66c4d66352c6747797b

Update issue forms. Added security issue form. (#183)

view details

Evgenii Akentev

commit sha b4277aa6e60712db04c44b486e6723fac3ff0f6d

[plutus-chain-index]: fix utxo-at-adress beam query (#124). (#185)

view details

koslambrou

commit sha 46e831e49287c3a04f83497b9dd9e70718092cde

SCP-3130: Modified the tx creation constraints to allow to specify the stake public key hash of a transaction output address. (#181) * Added the constraints `mustPayToPubKeyAddress` and `mustPayWithDatumToPubKeyAddress` * Added newtype wrappers to differentiate between public key hashes: `PaymentPubKeyHash`, `PaymentPubKey`, `StakePubKeyHash` and `StakePubKey`. * Added newtype wrapper 'PaymentPrivateKey' * Replaced most `PubKeyHash` and `PubKey` in code with the newly defined newtypes. * Modified the name of `WalletEffect.ownPubKeyHash` to `WalletEffect.ownPaymentPubKeyHash`. * Added the prefix 'mock' to the name of functions in `Wallet.Emulator.Wallet` to refer to Mock wallets. * Formatted the modified modules based on the `-Wmissing-import-lists` GHC flag.

view details

Brian W Bush

commit sha 7e156cc246a1de0f8eecea5e03767cd899db0428

SCP-3081: chain-index query for transaction history at address (#182) * SCP-3081 added chain-index queries for transactions at address 1. Added queries to chain index. a. Query `TxOutRef`s at address. b. Find `ChainIndexTx`s for a list of `TxId`s. 2. Tested manually. * SCP-3081 added chain-index queries to plutus-contract 1. Added new queries from plutus-chain-index query effect to plutus-contract. 2. Added functions to query transaction history at address. a. `txsAt` b. `txoRefsAt` c. `txsFromTxIds` 3. Manually tested. * SCP-3081 added missing export * SCP-3081 removed lint * SCP-3081 added new query functions to request handler * SCP-3081 added chain-index queries to plutus-pab * SCP-3081 address and txs queries rebased to latest main 1. OpenApi support for `TxoRefsAtAddress` and `TxsFromTxIds`. 2. Wrapped paged response for `TxoRefsAtAddressRequest`. 3. Retested, with spot-check comparisons against db-sync. * fixed stylish haskell * fixed type mapping to purescript generated Co-authored-by: Sjoerd Visscher <sjoerd.visscher@iohk.io>

view details

Skylar-Ray O'Quinn

commit sha f1a7702500ae624c743ddacf4f15e725d5c9d183

Write arbitrary instance for data that uses sized (#178) * Write arbitrary instance for data that uses sized By using sized we can have an arbitrary instance that actually terminates and is configurable via standard QuickCheck methods (e.g. generate, resize). This will allow testing with Datums and will prevent users unintentionally stalling their tests when generating Datums, BuiltinData, and Data. Fixes #172. * Add test suite for arbitrary generation of Data * Bump materialize plans

view details

Skylar-Ray O'Quinn

commit sha a09894744e17e4ffd89482b181d40b0fb33072e9

Add passphrase to ledger signing api This addresses #168; Instead of having the passphrase for signing hardcoded to "Ledger.Crypto PassPhrase", allow the passphrase to be provided. This way we aren't prevented from using private keys created with tools like cardano-address and cardano-cli

view details

Skylar-Ray O'Quinn

commit sha 39025443011b5656d443694c1aee896e947eef19

Add tests to verify signing and verification

view details

Skylar-Ray O'Quinn

commit sha a8e839897bb7a195a4c1f171e678e221410475ef

Add oracle sign off-chain and on-chain prop tests

view details

Skylar-Ray O'Quinn

commit sha 6a4b8b21ed16867ce9f3193cef7a41a73401cc74

Bump materialized plans

view details

John Lotoski

commit sha c1c71dc5f1b7021cef2b8cf62a50a339ab520823

Adds forceNewEval to release.nix

view details

push time in a month

push eventYasuke/plutus-apps

push time in a month

push eventYasuke/plutus-apps

John Lotoski

commit sha 115a2429d5225fbc1a1e18e59d4c5e7d663ef00d

Adds forceNewEval to release.nix

view details

push time in a month

create barnchYasuke/plutus-apps

branch : jal-forceNewEval

created branch time in a month

MemberEvent
MemberEvent
more