📌 솔레이어 정식 거버넌스 시작 - 첫 SIP1 프로포절은 인플레이션 정하기

솔레이어가 정식 거버넌스가 출시된 상태네요

📱 솔레이어 거버넌스 첫 SIP-1 프로포절

이제 자츰 하나하나씩 거버넌스를 통한 다양한 투표들이 진행되는게 한눈에 보일 듯!

첫번째 SIP-1 프로포절은 인플레이션으로 관한것으로

기존 1년 8%에서 매년 15%씩 줄어들어서 장기적으로는 2% 토큰 인플레이션 맞추는 거버넌스가 진행 중

뭐 대충 첫 프로포절이고 찬성 100%로 통과될듯한 기분

근데 이런 거버넌스 빨리빨리 만들어줘 모든 프로젝트!! 안하는애들 너무 싫다...

하트와 좋아요는 비큐 컨텐츠의 큰 힘이 됩니다 🤩

#Solayer #솔레이어 #거버넌스

📌 IOTA쪽 Virtue도 기본 VUSD 스테이블코인 이율 9% 도입 예정?

stIOTA 담보로 스테이블코인 발행하게 해주는 virtue에서 VUSD 이율 9.45% APR에 대한 내용을 공개했네요

📱 원문트윗

Virture 직접 들어가보니 아직 모두 정상 반영된것같지는 않지만 곧 반영될듯?

(https://app.virtue.money/earn)

이게 stIOTA 담보로 5% 이자내면서 VUSD 발행할 수 있는 구조인데

요거 이자 9% 주기 시작하면

IOTA 홀더들은

1.IOTA 스테이킹해서 stIOTA 발행 (~13.5% APR)

2. stIOTA 담보로 vUSD 민팅 (~ -5% APR)

3. 그대로 그 vUSD로 9% 이자 받기

느낌으로 같이 돌리면서 한 IOTA로 16%정도 이자 뽑을 수 있겠네요

IOTA 홀더라면 업비트에 들고 있지 말자!

📱 (2025.05.25) IOTA Virture 통해서 IOTA 기반 스테이블 곧 출시

📱 (2025.06.01) IOTA LSD Swirl 스테이킹 부스터 적용 중. APY 17%

📱 (2025.07.14) IOTA도 생태계 하나씩 활성화 중 - 스테이블 + DEX

하트와 좋아요는 비큐 컨텐츠의 큰 힘이 됩니다 🤩

#IOTA #아이오타 #SWIRL #Virture

아서헤이즈: 매도한거가 뭐가 문제냐?

난 3분기에 비트 10만불 리테, 이더 3천불 리테할거로 예상해서 매도친거다.

다시 해변으로 돌아간다.

우리: 👨‍💻

#아서헤이즈

📌 내가 ZK를 공부하는 이유 #3: 순서가 아닌 조건으로 생각하기

안녕하세요, BQ개발자입니다.

📱내가 ZK를 공부하는 이유 #2: 같은 칼, 다른 용도

지난 편들에서 ZK가 불가능을 가능하게 만들고, 설계에 따라 전혀 다른 결과를 낸다는 걸 이야기했습니다.

이번엔 ZK 프로그래밍의 독특한 사고방식에 대해서입니다.


🤯 ZK는 거꾸로 생각한다

ZK 코드의 구조는 일반 프로그래밍과 다릅니다.

일반 프로그래밍: "이렇게 해서 저렇게 하면 결과가 나온다"
ZK 프로그래밍: "이 조건들이 참이어야 한다"

송금을 예로 들면:
- 일반: A에서 100원 빼기 → B에 100원 더하기 → 완료
- ZK: 전체 금액 합 = 변경전 합 AND 모든_잔액 ≥ 0

절차가 아닌 조건으로 표현됩니다.

💡 숨겨야 하니까 조건만 남는다

이런 차이가 생기는 이유는 ZK의 작동 원리 때문입니다.

ZK는 "과정은 비밀, 결과만 공개"라는 특성을 가집니다.
검증자는 어떤 순서로 계산했는지 알 수 없습니다.
따라서 최종 상태가 올바른 조건을 만족하는지만 확인합니다.

송금 예시의 경우:
- 검증자는 "누가 누구에게 얼마를 보냈는지" 과정을 모름
- "전체 돈의 합이 그대로인지"만 확인
- "음수 잔액이 없는지"만 체크

과정을 검증할 수 없으므로, 결과가 만족해야 할 조건으로 정의합니다.


🎯 이게 왜 더 나을까?

조건 기반 접근의 실질적 장점이 있습니다.

순서대로 하면 생기는 문제:
1. A에서 100원 차감 ✓
2. [여기서 시스템 다운!]
3. B에 100원 추가 ✗
→ 결과: 100원이 사라짐

조건으로 정의하면:
조건: 전체_금액_합 = 일정
→ 이 조건이 깨지면 거래 자체가 무효

중간 실패 시에도 일관성이 유지됩니다.

또한 순서가 없으므로 병렬 처리가 가능합니다.
여러 거래를 동시에 처리해도 최종 조건만 만족하면 됩니다.


✏️ 프로그래밍을 넘어선 사고법

이런 접근은 시스템 설계 관점을 바꿉니다.

"어떻게 구현할 것인가" 대신
"무엇이 항상 참이어야 하는가"를 먼저 정의합니다.

각 시스템의 불변식(invariant):
- 은행: 전체 돈의 합은 일정하다
- 투표: 투표수 = 투표자수
- 재고관리: 입고 - 출고 = 현재재고

이 불변식들이 시스템의 핵심 속성을 정의하는거죠.


💭 ZK가 가르쳐준 것

ZK 프로그래밍은 "무엇이 불변인가"를 먼저 정의해야 합니다.
이는 단순한 구현 기법이 아닌 설계 철학의 차이입니다.

복잡한 절차를 단순한 조건들로 표현하는 방법.
순서가 아닌 본질적 속성으로 시스템을 정의하는 방법.

이런 사고의 전환이 ZK를 공부하는 또 다른 이유입니다.

다음 마지막 편에서는 왜 지금이 ZK를 시작하기 좋은 시점인지 이야기하겠습니다.

---

여러분의 좋아요와 공유는 사랑입니다 🥰

#BQ개발자 #ZK #영지식증명 #조건적사고