---
# System prepended metadata

title: W3.21 CertiK Testnet Alpha is live!
tags: [certik, testnet, web3, formal-verification]

---

W3.21 CertiK Testnet Alpha is live!
===

###### tags: `web3` `formal-verification` `certik` `testnet`

:::info
- **Location:** Earth
- **CertiK**
    Why | Configure | Transact | Operate | Contribute 
- **Website:** 
- **Github:** 
- **Explorer:** 
- **Twitter:** 
:::

## Why CertiK 

- Are you familiar with Formal Verification and CeritK using this to mathematically secure...

## Configure CertiK 

- Install the latest CLI binaries from here
https://github.com/certikfoundation/chain/releases
- Remove any past installation &/or configurations
`rm -rf ~/.certikcli`
- Configure the chain-id
`certikcli-macos config chain-id shentu`
- Configure the node
`certikcli-macos config node ec2-34-219-251-115.us-west-2.compute.amazonaws.com:26657`
- Create test account
`certikcli-macos keys add <account-name>`
- Enter the pass-phrase and Save the mnemonic-phrase
- You should see something like this and jot down your Address & Pub-Key
```
NAME:             TYPE:    ADDRESS:		    PUBKEY:
<account-name>    local    <account-address>   <account-public-key>
```
- Get some CKT and CKG tokens from the faucet
https://explorer.certik.foundation/faucet
- You should receive CKT:1,000 and CKG:100,000

## Transact CertiK 

- **Query current Validators**
- `certikcli-macos query staking validators`
```
Validator
  Operator Address:           certikvaloper1pwtacv38y4wvmt5jq6lurg4dyrq8rtp4p06r7u
  Validator Consensus Pubkey: certikvalconspub1zcjduepqe9vzut6sqxmfhkhhay8p30sg3057ax4arsgrhsw3z86uxdgrpu2sjykwdu
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     1000310080
  Delegator Shares:           1000310080.000000000000000000
  Description:                {CertiK   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1pseun6rvhlqmxvtme2ltfz5xs55ae4u3tsqrvc
  Validator Consensus Pubkey: certikvalconspub1zcjduepqvwfrcqfr292kfclyn94qnfeffzplnydgunascxn6zrs94gtcp66slxyjjp
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     100009400
  Delegator Shares:           100009400.000000000000000000
  Description:                {Arrington Capital   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1pnpkuhjdn959aa5w0dt8zuh2k96a0a2p3zmx93
  Validator Consensus Pubkey: certikvalconspub1zcjduepqf9hwamz6jm6djat7ndtwwv936y8qcaak7lc6fsqgaq0srxfyfr6skt4vu5
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     300010000
  Delegator Shares:           300010000.000000000000000000
  Description:                {DHVC   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1znckpcuzx4qkw4f2x5qjrcsr7vlwjg75gvcn60
  Validator Consensus Pubkey: certikvalconspub1zcjduepqt9cx5w45ttw5y0mfw3rknmfef6s62923q370xuavctq9tp5mpd3qg0cj8g
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     600010000
  Delegator Shares:           600010000.000000000000000000
  Description:                {Fenbushi Capital   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1ynmnwcwemakxuppqe4a6y2wkmj7w7y9v3a9stk
  Validator Consensus Pubkey: certikvalconspub1zcjduepqgk0kcc0n3khssn9rum5juwkl0ypdpn3xrr35e32awumsuxfutvyq9jyzms
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     200010000
  Delegator Shares:           200010000.000000000000000000
  Description:                {吞吴   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1s5y62ljr5m9helz9shv0xktft7pa8cgrp9sus8
  Validator Consensus Pubkey: certikvalconspub1zcjduepqkycjxm4mkhksl2dqgr4pzmptl08aqc2ntv3gp887v5lhtzzmmjvqpge9fe
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     800010000
  Delegator Shares:           800010000.000000000000000000
  Description:                {VeriGu@Columbia   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1sc02he0tljpq4t2jlsmnxnmftp44ah53dfu990
  Validator Consensus Pubkey: certikvalconspub1zcjduepqayevdqm469j9443tnuhg9rgpkdvc3xf0gwwq659ywh3yxfu60fysxq9jfg
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     700010000
  Delegator Shares:           700010000.000000000000000000
  Description:                {Bitmain   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1e2fgtt8n49xlj39pwgdr7mkfam0z53ef5hqx6j
  Validator Consensus Pubkey: certikvalconspub1zcjduepqkm2vrx07pkmkxxpyl0x0tq4dx4d320n93e55xugnel0rq7h3ve8sr8vx25
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     400010000
  Delegator Shares:           400010000.000000000000000000
  Description:                {SNZ   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1uhstc3qfyjq0h3xs6ne7sl49tcva84jch90qnl
  Validator Consensus Pubkey: certikvalconspub1zcjduepqvy0zw4alv2qsmg4d3w6zzw0a867l9qq2pj6qt5clh3l8c03w4ajqkl6k2x
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     900010000
  Delegator Shares:           900010000.000000000000000000
  Description:                {Flint@Yale   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
Validator
  Operator Address:           certikvaloper1asagv02rhswskjq3xmw09t7k9ztfendjmenau9
  Validator Consensus Pubkey: certikvalconspub1zcjduepqd2nf4ckt3fpzeljx4uyy2vd8g0ekwtp82mdaydr7rwxlrwljjw7q68tftc
  Jailed:                     false
  Status:                     Bonded
  Tokens:                     500010000
  Delegator Shares:           500010000.000000000000000000
  Description:                {InfStones   }
  Unbonding Height:           0
  Unbonding Completion Time:  1970-01-01 00:00:00 +0000 UTC
  Minimum Self Delegation:    1
  Commission:                 rate: 0.000000000000000000, maxRate: 0.000000000000000000, maxChangeRate: 0.000000000000000000, updateTime: 2019-07-22 20:08:15.9943672 +0000 UTC
```
- **Query a Block**
- `certikcli-macos query block <height>`
```
{"block_meta":{"block_id":{"hash":"42D8636FA46B14C2F103375EB4DB3F3651077DD6DE74872A5328E2BD63DCECD3","parts":{"total":"1","hash":"F6D38F69E032D96752C4AFD0B33CB0A97FDDF3F79D1B2123694092FEAB0F53E6"}},"header":{"version":{"block":"10","app":"0"},"chain_id":"shentu","height":"54575","time":"2019-07-26T05:36:30.769391794Z","num_txs":"1","total_txs":"127298","last_block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"last_commit_hash":"6C304D2D8CC02C1BDB9800C2DE67733BA879627BB74828E2D6204D524F0F057F","data_hash":"F18414170B30C8597F92FCA7FD66BE76C5C0678B836C961052334EDD64832B13","validators_hash":"D0A72FD5101BE0324F4F1A48EC4F13659AFFD2FD415684DD34310A51C5522F34","next_validators_hash":"D0A72FD5101BE0324F4F1A48EC4F13659AFFD2FD415684DD34310A51C5522F34","consensus_hash":"048091BC7DDC283F77BFBF91D73C44DA58C3DF8A9CBC867405D8B7F3DAADA22F","app_hash":"E26FBD0B4A0396FE00F3E85193BDEF01119303B9709463809A2122D0547B20C5","last_results_hash":"6E340B9CFFB37A989CA544E6BB780A2C78901D3FB33738768511A30617AFA01D","evidence_hash":"","proposer_address":"EB79B681BF1CC78CEB85EC8CBB42A9FDA89EAA1F"}},"block":{"header":{"version":{"block":"10","app":"0"},"chain_id":"shentu","height":"54575","time":"2019-07-26T05:36:30.769391794Z","num_txs":"1","total_txs":"127298","last_block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"last_commit_hash":"6C304D2D8CC02C1BDB9800C2DE67733BA879627BB74828E2D6204D524F0F057F","data_hash":"F18414170B30C8597F92FCA7FD66BE76C5C0678B836C961052334EDD64832B13","validators_hash":"D0A72FD5101BE0324F4F1A48EC4F13659AFFD2FD415684DD34310A51C5522F34","next_validators_hash":"D0A72FD5101BE0324F4F1A48EC4F13659AFFD2FD415684DD34310A51C5522F34","consensus_hash":"048091BC7DDC283F77BFBF91D73C44DA58C3DF8A9CBC867405D8B7F3DAADA22F","app_hash":"E26FBD0B4A0396FE00F3E85193BDEF01119303B9709463809A2122D0547B20C5","last_results_hash":"6E340B9CFFB37A989CA544E6BB780A2C78901D3FB33738768511A30617AFA01D","evidence_hash":"","proposer_address":"EB79B681BF1CC78CEB85EC8CBB42A9FDA89EAA1F"},"data":{"txs":["uAXwYl3uCrAEzcbjdgoUcDwmZN0xoSgegu6cCwbOkESwlv4QoI0GGuUBYIBgQFI0gBVhABBXYACA/VtQYMaAYQAfYAA5YADz/mCAYEBSNIAVYA9XYACA/VtQYAQ2EGAyV2AANWDgHIBjYP5HsRRgN1eAY21M5jwUYGJXW2AAgP1bYGBgBIA2A2AggRAVYEtXYACA/VuBAZCAgDWQYCABkJKRkFBQUGB+VlsAW2BoYIhWW2BAUYCCgVJgIAGRUFBgQFGAkQOQ81uAYACBkFVQUFZbYACAVJBQkFb+omVienpyMFggWCly9W7QC7cq/q7yBbksT/TP1V0qEL/g9jb49nup30Jkc29sY0MABQoAMiKnAlt7ImNvbnN0YW50IjpmYWxzZSwiaW5wdXRzIjpbeyJuYW1lIjoieCIsInR5cGUiOiJ1aW50MjU2In1dLCJuYW1lIjoic2V0Iiwib3V0cHV0cyI6W10sInBheWFibGUiOmZhbHNlLCJzdGF0ZU11dGFiaWxpdHkiOiJub25wYXlhYmxlIiwidHlwZSI6ImZ1bmN0aW9uIn0seyJjb25zdGFudCI6dHJ1ZSwiaW5wdXRzIjpbXSwibmFtZSI6ImdldCIsIm91dHB1dHMiOlt7Im5hbWUiOiIiLCJ0eXBlIjoidWludDI1NiJ9XSwicGF5YWJsZSI6ZmFsc2UsInN0YXRlTXV0YWJpbGl0eSI6InZpZXciLCJ0eXBlIjoiZnVuY3Rpb24ifV0SEwoNCgR1Y2tnEgUxMzAwMBDAmgwaagom61rphyED03bRO82QCEFrJtkDdxH0iKPSqsHtYDgqQiGV47m//owSQPax4/09OyC7NoEwlSEaOLt2D3YYR043V5vwsrEk4yt3X1Mc217V7RkjnozKxEmnceYHfv/bA4OXzN/bgc95Huc="]},"evidence":{"evidence":null},"last_commit":{"block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"precommits":[{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.764604592Z","validator_address":"003D05833794C9E9A6586DF08084B0B5C3DEB23E","validator_index":"0","signature":"dPnjUmjPT3CwcmpZmfh0BbLEQMx7DXGnWH/qloLo9Sv0M9U2tykZEgb0TyQupjELGCadk0HGqLiFR6F0PYDaAg=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.765309394Z","validator_address":"02948C256916D451FF4D9EC68319126C4FB6EEAD","validator_index":"1","signature":"9pQqlDvOIev6H5gacziNEjbM0Wyd5/fTjB2ELAASEYlSKoiWq/702mu4NXDUQVAcf6S6vSxCP67r43e76sXyCA=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.770068544Z","validator_address":"2D833B01F9F375485E7B93AECF2CC71996F9BA9B","validator_index":"2","signature":"jIQCXe3au+M9GBZV747WPZVqN3OPT/VDO8ODjW1DylaxOD0P52IqhV5EXoz+FEhTazwy5nxl0pKY4AVFyJC/DA=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.767677131Z","validator_address":"60E0CC837806BC22724E2F7546CDD694AB19B7E7","validator_index":"3","signature":"sAWmeR0NnhNez/Vj/z/za/jqlNhHAhcARbVKMHSnUiLOFYvWMKg/GUMiJ98Im0+d+w56cOpDNfqsixjX73/mCw=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.766870183Z","validator_address":"79135504758EEF872EFA9A7A674FFCA500BC3AB7","validator_index":"4","signature":"vx55YOIDB57owdbrFiMipf3J7vTM7yHzHPYj4iB0ESDsDLwmaoHLmAnSKHrHl0XnXpd6kz2hkGIouWxjstFCAw=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.769391794Z","validator_address":"8552F813CD5759A7DCAFAB34F46E104740797585","validator_index":"5","signature":"umCSX2KpN+7Xp2GF/UVQyNO+xbNa79Tn4grKjNb224FYX1+SiTp6CJbAPZJL7tZurfWJBgPLyYCXHnzDr/m1BA=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.773920932Z","validator_address":"A2A12F5BC23053EC4D51927E9F6EC8A87BC7800B","validator_index":"6","signature":"unQaxU8McLPcvOd9jXiF2myIh1IMnSnpqwAHFbXrwA74g2TqiWxNG8xXuW1XQCmzbp9SIIuBbj9mEzLfRPA+Bg=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.770681653Z","validator_address":"A7CE73BF5C41B81C9C62AB60E821E34919EE60DA","validator_index":"7","signature":"XaJf2vM+Km7vt6qzZRrs3WEHaGSB1bT9XdBAIR5XZgkvzwyuylL3MdJwOJrsacIpvGten70ZeWBl3kd8jl1VCQ=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.76688237Z","validator_address":"EA0C8649B2DD68E7537ECA4B67CC69441E695EFD","validator_index":"8","signature":"C1IvQIT7RfJIiFeNX63WCd7G1Yl/l+b7IOI2HvdMTDlEP9evugKjrbxbkO78vEhrPJ//lx9gnDq2tsZRnbfGAQ=="},{"type":2,"height":"54574","round":"0","block_id":{"hash":"F4C34EFFE4DB8E4332DA49848498DEE515629699D35BB09F9CDAFE1A4E89FBFF","parts":{"total":"1","hash":"B0E0D0AC7B31AE5C08459BA1E581D24ABCEF345EED19A02CCF9CEE107309E770"}},"timestamp":"2019-07-26T05:36:30.774057764Z","validator_address":"EB79B681BF1CC78CEB85EC8CBB42A9FDA89EAA1F","validator_index":"9","signature":"ipvgV7yYgQAPF345Wsw9Lx+Kjl1oMIJxLYGqv471ry0N7Epl8vvEkyPurd2q/fuiduM4tJzIHFoNrhev7JOYCA=="}]}}}
```
- **Query a Transaction**
`certikcli-macos query tx <transaction-hash>`
```
Response:
  Height: 54953
  TxHash: 139B8B5900D140AF2D47A8276668949023FBFD29A696748483B9CB5735C21DF6
  Data: 000000000000000000000000000000000000000000000000000000000000303B
  Raw Log: [{"msg_index":"0","success":true,"log":""}]
  Logs: [{"msg_index":0,"success":true,"log":""}]
  GasWanted: 200000
  GasUsed: 21535
  Tags: 
    - action = call

  Timestamp: 2019-07-26T06:10:21Z
```
- **Query Account Status**
`certikcli-macos query account <account-address>`
```
Account:
  Address:       <account-address>
  Pubkey:        
  Coins:         100000uckg,1000uckt
  AccountNumber: 25456
  Sequence:      0
```
- **Query CKT Balance**
`certikcli-macos query ckt balance <address>`
```
1000
```
- **Query CKG Balance**
`certikcli-macos query ckg balance <address>`
```
100000
```
- **Transfer CKT**
`certikcli tx ckt transfer <amount of uckt> <recipent address> --from <sender_address> --fees 5000uckg`
```
```
- **Transfer CKG**
`certikcli tx ckg transfer <amount of uckg> <recipent address> --from <sender_address> --fees 5000uckg`
```
```

## Operate CertiK 

- TBF


## Contribute CertiK 

- Join the Alpha Testnet and Contribute



### Web3 Engineer Tasks:
- [x] Research CertiK
- [x] Configure CertiK
- [x] Transact on CertiK Alpha network
- [x] Operate a CertiK
- [x] Contribute to the CertiK
